Deadlocking States in Context-Free Process Algebra

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. 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:

You are running an old browser version. We recommend updating your browser to its latest version.