Author:
Křetínský Mojmír,Řehák Vojtěch,Strejček Jan
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference32 articles.
1. M. Křetínský, V. Řehák, J. Strejček, Extended process rewrite systems: expressiveness and reachability, in: Proceedings of CONCUR’04, Lecture Notes in Computer Science, vol. 3170, Springer, 2004, pp. 355–370.
2. Process rewrite systems;Mayr;Information and Computation,2000
3. J. Esparza, Grammars as processes, in: Formal and Natural Computing, Lecture Notes in Computer Science, vol. 2300, Springer, 2002, pp. 277–297.
4. Verification on infinite structures;Burkart,2001
5. Roadmap of infinite results;Srba;EATCS Bulletin,2002
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献