Assumption/guarantee specifications in linear-time temporal logic
From MaRDI portal
Publication:671674
DOI10.1016/0304-3975(96)00069-2zbMath0874.68210MaRDI QIDQ671674
Publication date: 27 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(96)00069-2
Cites Work
- A logical view of composition
- The existence of refinement mappings
- Defining liveness
- The temporal semantics of concurrent programs
- Tentative steps toward a development method for interfering programs
- Proofs of Networks of Processes
- Application of the composition principle to unity-like specifications
- Unnamed Item
- Unnamed Item
- Unnamed Item