Complexity of Weak Bisimilarity and Regularity for BPA and BPP

• Authors: SRBA Jiří
• Year of publication: 2000
• Type: Article in Proceedings
• Conference: Expressiveness in Concurrency, EXPRESS'00
• MU Faculty or unit: Faculty of Informatics
• 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