The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic
- 30 September 2006
- book chapter
- Published by Springer Nature
- p. 207-221
- https://doi.org/10.1007/bfb0084793
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Compositional model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The concurrency workbenchPublished by Springer Nature ,1990
- Testing equivalence as a bisimulation equivalencePublished by Springer Nature ,1990
- Specification-oriented semantics for Communicating ProcessesActa Informatica, 1986
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- Characterizing correctness properties of parallel programs using fixpointsPublished by Springer Nature ,1980