Petri net models for algebraic theories of concurrency
- 1 January 1987
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 224-242
- https://doi.org/10.1007/3-540-17945-3_13
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Petri net models for algebraic theories of concurrencyLecture Notes in Computer Science, 1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Process algebra for synchronous communicationInformation and Control, 1984
- On the composition of processesPublished by Association for Computing Machinery (ACM) ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980