A parametric approach to localities
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Proved treesPublished by Springer Nature ,1992
- The observation algebra of spatial pomsetsPublished by Springer Nature ,1991
- Observing localitiesLecture Notes in Computer Science, 1991
- Distributed bisimulationsJournal of the ACM, 1989
- Causal treesPublished by Springer Nature ,1989
- Partial orderings descriptions and observations of nondeterministic concurrent processesPublished by Springer Nature ,1989
- A Non-Interleaving Semantics for CCS Based on Proved TransitionsFundamenta Informaticae, 1988
- Behavior Structures and NetsFundamenta Informaticae, 1988