Weak bisimulation and model checking for basic parallel processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1180, Issue , 1996, Pages 88-99

  Mayr, Richard ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Basic parallel processes; Bisimulation; Model checking

Indexed keywords

COMPUTABILITY AND DECIDABILITY; EQUIVALENCE CLASSES; PETRI NETS;

BASIC PARALLEL PROCESS; BISIMULATIONS; FINITE STATE SYSTEMS; GENERAL PETRI NETS; INFINITE STATE SYSTEMS; MODEL CHECKING PROBLEM; PSPACE-COMPLETE; WEAK BISIMULATION;

MODEL CHECKING;

EID: 84947938058     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62034-6_40     Document Type: Conference Paper

References (10)

1. S. Christensen. Decidability and Decomposition in Process Algebras. PhD thesis, Edinburgh University, 1993.
2. S. Christensen, Y. Hirshfeld, and F. Moller. Bisimulation equivalence is decidable for basic parallel processes. In E. Best, editor, Proceedings of CONCUR 93, number 715 in LNCS. Springer Verlag, 1993.
3. S. Christensen, H. Hüttel, and C. Stirling. Bisimulation equivelence is decidable for all context-free processes. In W.R. Cleaveland, editor, Proceedings of CONCUR 92, number 630 in LNCS. Springer Verlag, 1992.
4. Javier Esparza. Decidability of model checking for infinite-state concurrent systems. Acta Informatica, 1995.
5. Javier Esparza. Petri nets, commutative context-free grammars and basic parallel processes. In Horst Reichel, editor, Fundamentals of Computation Theory, number 965 in LNCS. Springer Verlag, 1995.
6. Y. Hirshfeld. Petri nets and the equivalence problem. In Proceedings of CSL'93, number 832 in LNCS, pages 165-174. Springer Verlag, 1993.
7. P. Jančar. Undecidability of bisimilarity for petri nets and some related problems. Theoretical Computer Science, 1995.
8. P. Jančar and F. Moller. Checking regular properties of petri nets. In Insup Lee and Scott A. Smolka, editors, Proceedings of CONCUR'95, number 962 in LNCS. Springer Verlag, 1995.
9. Richard Mayr. Some results on basic parallel processes. Technical Report TUM-19616, TU-München, March 1996.
10. R. Milner. Communication and Concurrency. Prentice Hall, 1989.