When is 'partial' adequate? A logic-based proof technique using partial specifications
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A preorder for partial process specificationsPublished by Springer Nature ,2005
- Compositional model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Bisimulations and divergencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The concurrency workbenchPublished by Springer Nature ,1990
- Verifying a protocol using relativized bisimulationLecture Notes in Computer Science, 1987
- Modal logics for communicating systemsTheoretical Computer Science, 1987
- A complete proof system for SCCS with modal assertionsLecture Notes in Computer Science, 1985
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955