Some equivalence notions for concurrent systems. An overview
- 13 November 2005
- book chapter
- Published by Springer Nature
- p. 381-400
- https://doi.org/10.1007/bfb0016222
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Giving back some freedom to the system designerSystems Research, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- On the relationship of CCS and petri netsPublished by Springer Nature ,1984
- A semantics and proof system for communicating processesLecture Notes in Computer Science, 1984
- An enlarged definition and complete axiomatization of observational congruence of finite processesPublished by Springer Nature ,1982
- Use of the Behaviour Equivalence in Place-Transition Net AnalysisPublished by Springer Nature ,1982
- Behaviour of a Place-Transition Net on a Subset of TransitionsPublished by Springer Nature ,1982
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Net Theory and ApplicationsLecture Notes in Computer Science, 1980