Strong bisimilarity on nets revisited
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 295-312
- https://doi.org/10.1007/3-540-54152-7_71
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Some equivalence notions for concurrent systems. An overviewPublished by Springer Nature ,2005
- Concurrent bisimulations in Petri netsActa Informatica, 1991
- The linear time - branching time spectrumPublished by Springer Nature ,1990
- Strong bisimilarity on nets: A new concept for comparing net semanticsPublished by Springer Nature ,1989
- Process theory based on bisimulation semanticsPublished by Springer Nature ,1989
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- Behavior Structures and NetsFundamenta Informaticae, 1988
- Operational Petri net semantics for CCSPPublished by Springer Nature ,1987
- Petri NetsPublished by Springer Nature ,1985
- Degrees of non-determinism and concurrency: A Petri net viewPublished by Springer Nature ,1984