Flow event structures and flow nets
- 1 January 1990
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- On representing CCS programs by finite petri netsPublished by Springer Nature ,2005
- Permutation of transitions: An event structure semantics for CCS and SCCSPublished by Springer Nature ,1989
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- Concurrency and atomicityTheoretical Computer Science, 1988
- Operational Petri net semantics for CCSPPublished by Springer Nature ,1987
- Petri net models for algebraic theories of concurrencyPublished by Springer Nature ,1987
- On the semantics of concurrency: Partial orders and transition systemsPublished by Springer Nature ,1987
- Partial ordering derivations for CCSPublished by Springer Nature ,1985
- On the relationship of CCS and petri netsPublished by Springer Nature ,1984
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981