A temporal-logic based compositional proof system for real-time message passing

This publication has 16 references indexed in Scilit:

• Compositional semantics for real-time distributed computing
  Information and Computation, 1988
• Applications of temporal logic to the specification of real time systems
  Published by Springer Nature ,1988
• Full abstraction of a real-time denotational semantics for an OCCAM-like language
  Published by Association for Computing Machinery (ACM) ,1987
• A compositional proof theory for real-time distributed message passing
  Published by Springer Nature ,1987
• A model and temporal proof system for networks of processes
  Distributed Computing, 1986
• Now you may compose temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1984
• Real-time programming and asynchronous message passing
  Published by Association for Computing Machinery (ACM) ,1983
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Proving real-time properties of programs with temporal logic
  Published by Association for Computing Machinery (ACM) ,1981
• Communicating sequential processes
  Communications of the ACM, 1978