The limit of split n -bisimulations for CCS agents
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 170-180
- https://doi.org/10.1007/3-540-54345-7_60
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Axiomatising Finite Concurrent ProcessesSIAM Journal on Computing, 1988
- Bisimulation can't be tracedPublished by Association for Computing Machinery (ACM) ,1988