Temporal Specifications of Self-Timed Systems
Authors:
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 203-212
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Hardware Specification with Temporal Logic: An ExampleIEEE Transactions on Computers, 1982
- Verifying Concurrent Processes Using Temporal Logic1982
- Verification of Concurrent Programs. Part I. The Temporal Framework,1981