Concurrent nondeterministic processes: Adequacy of structure and behaviour
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Elementary net systemsPublished by Springer Nature ,2006
- On models and algebras for concurrent processesPublished by Springer Nature ,2005
- Petri NetsPublished by Springer Nature ,1985
- On structural properties of generalized processesPublished by Springer Nature ,1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Elements of general net theoryPublished by Springer Nature ,1980
- Introduction to general net theoryPublished by Springer Nature ,1980