An old-fashioned recipe for real time

This publication has 9 references indexed in Scilit:

• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Derivation of Sequential, Real-Time, Process-Control Programs
  Published by Springer Nature ,1991
• A logical view of composition and refinement
  Published by Association for Computing Machinery (ACM) ,1991
• Composing specifications
  Published by Springer Nature ,1990
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989
• Appraising fairness in languages for distributed programming
  Distributed Computing, 1988
• A fast mutual exclusion algorithm
  ACM Transactions on Computer Systems, 1987
• Defining liveness
  Information Processing Letters, 1985
• An assertional correctness proof of a distributed algorithm
  Science of Computer Programming, 1982