Interface as a Basic Concept for Systems Specification and Verification
- 1 January 1987
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Structure Theory of Petri Nets: the Free Choice HiatusPublished by Springer Nature ,1987
- Petri NetsPublished by Springer Nature ,1985
- Degrees of Non-determinism and Concurrency: A Petri Net ViewDAIMI Report Series, 1984
- The non-sequential behaviour of Petri netsInformation and Control, 1983