Modeling concurrency with partial orders
- 1 February 1986
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 15 (1) , 33-71
- https://doi.org/10.1007/bf01379149
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Petri NetsPublished by Springer Nature ,1985
- Categories of models for concurrencyLecture Notes in Computer Science, 1985
- Some constructions for order-theoretic models of concurrencyPublished by Springer Nature ,1985
- The Analysis of Concurrent SystemsPublished by Springer Nature ,1985
- A temporal logic for reasoning about partially ordered computations (Extended Abstract)Published by Association for Computing Machinery (ACM) ,1984
- A new definition of morphism on Petri netsLecture Notes in Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- The Logic of TimePublished by Springer Nature ,1983
- On the composition of processesPublished by Association for Computing Machinery (ACM) ,1982
- Scenarios: A model of non-determinate computationPublished by Springer Nature ,1981