Time bounds for real-time process control in the presence of timing uncertainty

This publication has 17 references indexed in Scilit:

• Modeling versions in Web-based real-time cooperative edit system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Compositional semantics for real-time distributed computing
  Information and Computation, 1988
• A Graph-Theoretic Approach for Timing Analysis and its Implementation
  IEEE Transactions on Computers, 1987
• Safety Analysis Using Petri Nets
  IEEE Transactions on Software Engineering, 1987
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• On the possibility and impossibility of achieving clock synchronization
  Journal of Computer and System Sciences, 1986
• An upper and lower bound for clock synchronization
  Information and Control, 1984
• Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
  IEEE Transactions on Software Engineering, 1983
• Proving real-time properties of programs with temporal logic
  Published by Association for Computing Machinery (ACM) ,1981
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978