An old-fashioned recipe for real time

This publication has 10 references indexed in Scilit:

• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Derivation of Sequential, Real-Time, Process-Control Programs
  1991
• A logical view of composition and refinement
  1991
• Composing specifications
  1990
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  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