Reversible Communicating Systems
Top Cited Papers
- 1 January 2004
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Application of a stochastic name-passing calculus to representation and simulation of molecular processesInformation Processing Letters, 2001
- A fully abstract semantics for causality in the $\pi$ -calculusActa Informatica, 1998
- OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIESInternational Journal of Foundations of Computer Science, 1995
- Causality for mobile processesLecture Notes in Computer Science, 1995
- Process algebra with backtrackingLecture Notes in Computer Science, 1994
- Observing localitiesLecture Notes in Computer Science, 1991
- A partial ordering semantics for CCSTheoretical Computer Science, 1990
- Permutation of transitions: An event structure semantics for CCS and SCCSLecture Notes in Computer Science, 1989
- Event structure semantics for CCS and related languagesLecture Notes in Computer Science, 1982
- Minimal and Optimal Computations of Recursive ProgramsJournal of the ACM, 1979