Complexity of Weak Bisimilarity and Regularity for BPA and BPP

Warning

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

Authors	SRBA Jiří
Year of publication	2000
Type	Article in Proceedings
Conference	Expressiveness in Concurrency, EXPRESS'00
MU Faculty or unit	Faculty of Informatics
Citation
web	http://www.elsevier.nl/locate/entcs/volume39.html
Field	Computer hardware and software
Related projects:	Infinite state concurrent systems - models and verification Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing