Comparing Expressibility of Normed BPA and Normed BPP Processes

• Authors: ČERNÁ Ivana; KŘETÍNSKÝ Mojmír; KUČERA Antonín
• Year of publication: 1996
• Type: Article in Periodical
• Magazine / Source: FI MU Report Series
• MU Faculty or unit: Faculty of Informatics
• Field: Computer hardware and software
• Keywords: process algebras; bisimilarity

Related projects

• Analysis of Concurrent Infinite State Systems
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing