Proving properties of real-time semaphores
- 30 April 1995
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 24 (2) , 159-181
- https://doi.org/10.1016/0167-6423(94)00030-i
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A specification-oriented semantics for the refinement of real-time systemsTheoretical Computer Science, 1994
- Allocating hard real-time tasks: An NP-Hard problem made easyReal-Time Systems, 1992
- Priority inheritance protocols: an approach to real-time synchronizationIEEE Transactions on Computers, 1990
- The probe: An addition to communication primitivesInformation Processing Letters, 1985
- A note on specifying and verifying concurrent processesInformation Processing Letters, 1984
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975