Bisimilarity of Processes with Finite-State Systems

• Authors: JANČAR Petr; KUČERA Antonín; MAYR Richard
• Year of publication: 1998
• Type: Article in Proceedings
• Conference: Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98)
• MU Faculty or unit: Faculty of Informatics
• Field: Computer hardware and software
• Keywords: concurrency; bisimilarity; infinite-state systems

Related projects

• Algorithmic Verification Boundaries for Infinite-State Systems
• (Un)decidable Problems in Process Algebras
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing