Compositionality through an operational semantics of contexts
- 27 June 2005
- book chapter
- Published by Springer Nature
- Vol. 1 (6) , 526-539
- https://doi.org/10.1007/bfb0032056
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Proof systems for Hennessy-Milner Logic with recursionPublished by Springer Nature ,2005
- Linear and branching structures in the semantics and logics of reactive systemsPublished by Springer Nature ,2005
- Local model checking in the modal mu-calculusLecture Notes in Computer Science, 1989
- Verifying a protocol using relativized bisimulationLecture Notes in Computer Science, 1987
- 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
- Results on the propositional μ-calculusPublished by Springer Nature ,1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980