Life-cycle inheritance
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Branching bisimilarity is an equivalence indeed!Information Processing Letters, 1996
- Branching time and abstraction in bisimulation semanticsJournal of the ACM, 1996
- Free Choice Petri NetsPublished by Cambridge University Press (CUP) ,1995
- Petri NetsPublished by Springer Nature ,1985