Static analysis of real-time distributed systems

This publication has 16 references indexed in Scilit:

• RT-CDL: A distributed real-time design language and its operational semantics
  Computer Languages, 1994
• A hoare-like proof system for analysing the computation time of programs
  Science of Computer Programming, 1987
• A Graph-Theoretic Approach for Timing Analysis and its Implementation
  IEEE Transactions on Computers, 1987
• Compositional semantics for real-time distributed computing
  Published by Springer Nature ,1985
• Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
  IEEE Transactions on Software Engineering, 1985
• Axiomatic semantics of communicating sequential processes
  ACM Transactions on Programming Languages and Systems, 1984
• A general-purpose algorithm for analyzing concurrent programs
  Communications of the ACM, 1983
• Proving real-time properties of programs with temporal logic
  ACM SIGOPS Operating Systems Review, 1981
• Proofs of Networks of Processes
  IEEE Transactions on Software Engineering, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980