Deterministic behavioural models for concurrency
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 682-692
- https://doi.org/10.1007/3-540-57182-5_59
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A classification of models for concurrencyLecture Notes in Computer Science, 1993
- Deterministic behavioural models for concurrencyPublished by Springer Nature ,1993
- A trace semantics for Petri NetsPublished by Springer Nature ,1992
- Basic notions of trace theoryPublished by Springer Nature ,1989
- The equational theory of pomsetsTheoretical Computer Science, 1988
- Event structuresPublished by Springer Nature ,1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Traces and semiwordsPublished by Springer Nature ,1985
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Categories for the Working MathematicianPublished by Springer Nature ,1971