| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 424173 | Electronic Notes in Theoretical Computer Science | 2007 | 4 Pages |
Abstract
This talk offers a survey of negative results on the existence of finite equational axiomatizations for bisimulation equivalence over fragments of algebraic process calculi.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
