Specification and verification of a distributed real-time arbitration protocol
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Compositional verification of a distributed real-time arbitration protocolReal-Time Systems, 1994
- A compositional approach to the design of hybrid systemsPublished by Springer Nature ,1993
- A calculus of durationsInformation Processing Letters, 1991
- Specification and Compositional Verification of Real-Time SystemsPublished by Springer Nature ,1991
- Probabilistic clock synchronizationDistributed Computing, 1989
- Real-Time Behavior of ProgramsIEEE Transactions on Software Engineering, 1981