A modal logic for message passing processes
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 359-370
- https://doi.org/10.1007/3-540-56922-7_30
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Proof systems for Hennessy-Milner Logic with recursionPublished by Springer Nature ,2005
- A proof system for communicating processes with value-passingFormal Aspects of Computing, 1991
- Modal logics for mobile processesPublished by Springer Nature ,1991
- Modal logics for communicating systemsTheoretical Computer Science, 1987
- A logic for the description of non-deterministic programs and their propertiesInformation and Control, 1986