A preorder for partial process specifications
- 16 June 2005
- book chapter
- Published by Springer Nature
- p. 141-151
- https://doi.org/10.1007/bfb0039057
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A modal process logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Bisimulations and divergencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Equation solving using modal transition systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Characteristic formulaePublished by Springer Nature ,1989
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Modal logics for communicating systemsTheoretical Computer Science, 1987
- A modal characterisation of observable machine-behaviourLecture Notes in Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980