Deadlocking States in Context-Free Process Algebra

Srba,  Jiří

Deadlocking States in Context-Free Process Algebra

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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
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