Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. Algorithmic verification of lossy channel systems;Abdulla,1999
2. P.A. Abdulla, A. Bouajjani, B. Jonsson, On-the-fly analysis of systems with unbounded, lossy FIFO channels, in: Proc. 10th Internat. Conf. on Computer Aided Verification, 1998, pp. 305–322.
3. Polynomial operations on rational languages;Arfi,1987
4. Opérations polynomiales et hiérarchies de concaténation;Arfi;Theoret. Comput. Sci.,1991
5. Hierarchies of aperiodic languages;Brzozowski;RAIRO Inform. Théor.,1976
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficiency of automata in semi-commutation verification techniques;RAIRO - Theoretical Informatics and Applications;2007-09-25
2. On Shuffle Ideals;RAIRO - Theoretical Informatics and Applications;2002-10