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
• Citation: SRBA, Jiří. Deadlocking States in Context-Free Process Algebra. In Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98). Heidelberg: Springer-Verlag, 1998, p. 388-397. volume 1450 of LNCS.
• 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