An old-fashioned recipe for real time
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- The existence of refinement mappingsTheoretical Computer Science, 1991
- Derivation of Sequential, Real-Time, Process-Control ProgramsPublished by Springer Nature ,1991
- A logical view of composition and refinementPublished by Association for Computing Machinery (ACM) ,1991
- Composing specificationsLecture Notes in Computer Science, 1990
- Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsPublished by MIT Press ,1989
- Appraising fairness in languages for distributed programmingDistributed Computing, 1988
- A fast mutual exclusion algorithmACM Transactions on Computer Systems, 1987
- Defining livenessInformation Processing Letters, 1985
- An assertional correctness proof of a distributed algorithmScience of Computer Programming, 1982