Mojmír Křetínský

2009

Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
On Decidability of LTL Model Checking for Process Rewrite Systems,
Acta informatica, 2009. [bibtex, url]

2007

Luboš Brim and Mojmír Křetínský:
Model Checking Large Finite-State Systems and Beyond,
33rd Conference on Current Trends in Theory and Practice of Computer Science, Springer-Verlag, 2007, 9-28. [bibtex]

2006

Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
On Decidability of LTL Model Checking for Process Rewrite Systems,
FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, Springer-Verlag, 2006, 248-259. [bibtex]

2005

Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
Reachability of Hennessy - Milner properties for weakly extended PRS,
FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Springer-Verlag, 2005, 213-224. [bibtex]

2004

Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
Extended Process Rewrite Systems: Expressiveness and Reachability,
CONCUR 2004 - Concurrency Theory, Springer, 2004, 355-370. [bibtex]

Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit,
INFINITY’2003: 5th International Workshop on Verification of Infinite-State Systems, Elsevier Science, 2004, 75-88. [bibtex, url]

1999

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
Comparing Expressibility of Normed BPA and BPP Processes,
Acta Informatica, 1999, 233 - 256. [bibtex]

1996

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
Bisimilarity is Decidable in the Union of Normed BPA and BPP Processes,
Proceedings of the 1st International Workshop on Verification of Infinite State Systems , 1996, 32 -46. [bibtex]

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
Comparing Expressibility of Normed BPA and BPP Processes,
1996. [bibtex, pdf]

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
On the Relationship between Sequential and Parallel Compositions in Process Algebras,
CSL96 - The 1996 Annual Conference of the European Assoc.., Department of Philosophy, Ulterech University, 1996, 11-13. [bibtex]