Causality for mobile processes
- 1 January 1995
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Concurrent Semantics for the π-calculusElectronic Notes in Theoretical Computer Science, 1995
- Observing localitiesTheoretical Computer Science, 1993
- A calculus of mobile processes, IInformation and Computation, 1992
- Modal logics for mobile processesLecture Notes in Computer Science, 1991
- A partial ordering semantics for CCSTheoretical Computer Science, 1990
- An operational semantics for occamInternational Journal of Parallel Programming, 1989
- Causal treesLecture Notes in Computer Science, 1989
- Petri nets, algebras, morphisms, and compositionalityInformation and Computation, 1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Partial ordering derivations for CCSPublished by Springer Science and Business Media LLC ,1985