Concurrency and atomicity
- 31 July 1988
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 59 (1-2) , 25-84
- https://doi.org/10.1016/0304-3975(88)90096-5
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Extensional equivalences for transition systemsActa Informatica, 1987
- Bisimulations and abstraction homomorphismsJournal of Computer and System Sciences, 1987
- N-free posets as generalizations of series-parallel posetsDiscrete Applied Mathematics, 1985
- Notes on Algebraic Calculi of ProcessesPublished by Springer Nature ,1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- The non-sequential behaviour of Petri netsInformation and Control, 1983
- Minimal and Optimal Computations of Recursive ProgramsJournal of the ACM, 1979
- Maximal chains and antichainsFundamenta Mathematicae, 1969
- Topology of series-parallel networksJournal of Mathematical Analysis and Applications, 1965