Modeling concurrency by partial orders and nonlinear transition systems
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 467-488
- https://doi.org/10.1007/bfb0013031
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Theory of tracesTheoretical Computer Science, 1988
- The mutual exclusion problemJournal of the ACM, 1986
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Petri nets: Basic notions, structure, behaviourPublished by Springer Nature ,1986
- Interval graphs and interval ordersDiscrete Mathematics, 1985
- Petri NetsPublished by Springer Nature ,1985
- Semantics of concurrent systems: A modular fixed-point trace approachPublished by Springer Nature ,1985
- The Analysis of Concurrent SystemsPublished by Springer Nature ,1985
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Scenarios: A model of non-determinate computationPublished by Springer Nature ,1981