Compositional theories based on an operational semantics of contexts
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 487-518
- https://doi.org/10.1007/3-540-52559-9_76
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Proof systems for Hennessy-Milner Logic with recursionPublished by Springer Nature ,2005
- A context dependent equivalence between processesTheoretical Computer Science, 1987
- Verifying a protocol using relativized bisimulationLecture Notes in Computer Science, 1987
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- The temporal logic of branching timeActa Informatica, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Communicating sequential processesCommunications of the ACM, 1978
- An axiomatic basis for computer programmingCommunications of the ACM, 1969