Observation Trees

Publisher Website

1 January 1993

book chapter
Published by Springer Nature

p. 103-118
https://doi.org/10.1007/978-1-4471-3217-2_7

Abstract

No abstract available

Keywords

This publication has 15 references indexed in Scilit:

Concurrency and automata on infinite sequences
Published by Springer Nature ,2005
Equational type logic
Theoretical Computer Science, 1990
Partial orderings descriptions and observations of nondeterministic concurrent processes
Published by Springer Nature ,1989
A distributed operational semantics for CCS based on condition/event systems
Acta Informatica, 1988
Concurrency and atomicity
Theoretical Computer Science, 1988
Petri net models for algebraic theories of concurrency
Published by Springer Nature ,1987
Algebraic laws for nondeterminism and concurrency
Journal of the ACM, 1985
Partial ordering derivations for CCS
Published by Springer Nature ,1985
Algèbre de processus et synchronisation
Theoretical Computer Science, 1984
Calculi for synchrony and asynchrony
Theoretical Computer Science, 1983