Publication details
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
Authors | |
---|---|
Year of publication | 1997 |
Type | Article in Periodical |
Magazine / Source | Electronic Notes in Theoretical Computer Science |
MU Faculty or unit | |
Citation | |
Web | ENTCS home page |
Field | Computer hardware and software |
Keywords | concurrency; bisimilarity; infinite-state systems |
Related projects: |