On the ill-timed but well-caused
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A temporal calculus of communicating systemsPublished by Springer Nature ,2005
- Towards Performance Evaluation in Process AlgebrasPublished by Springer Nature ,1994
- Towards Action-Refinement in Process AlgebrasInformation and Computation, 1993
- Relating Distributed, Temporal and Causal Observations of Simple Processes1Fundamenta Informaticae, 1992
- Real-time calculi and expansion theoremsPublished by Springer Nature ,1992
- Real time process algebraFormal Aspects of Computing, 1991
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- Causal treesPublished by Springer Nature ,1989
- Axiomatising Finite Concurrent ProcessesSIAM Journal on Computing, 1988
- On interprocess communicationDistributed Computing, 1986