Deadlocking States in Context-Free Process Algebra

• Authors: SRBA Jiří
• Year of publication: 1998
• Type: Article in Proceedings
• Conference: Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98)
• MU Faculty or unit: Faculty of Informatics
• Web: http://www.fi.muni.cz/~srba/publ.html
• Field: Information theory
• Keywords: BPA; process; deadlock; bisimulation

Related projects

• Algorithmic Verification Boundaries for Infinite-State Systems
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing