Causal trees
- 1 January 1989
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 234-248
- https://doi.org/10.1007/bfb0035764
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- On the consistency of 'truly concurrent' operational and denotational semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Concurrency and atomicityTheoretical Computer Science, 1988
- Views of distributed systemsPublished by Springer Science and Business Media LLC ,1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Petri NetsPublished by Springer Science and Business Media LLC ,1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Behaviors of Processes and Synchronized Systems of ProcessesPublished by Springer Science and Business Media LLC ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Behaviours of concurrent systemsTheoretical Computer Science, 1980