Publication details
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
| Authors | |
|---|---|
| Year of publication | 1996 |
| Type | Article in Proceedings |
| Conference | Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96) |
| MU Faculty or unit | |
| Citation | |
| Field | Computer hardware and software |
| Related projects: |