A Model for Real-Time Systems

In this paper we define an equivalence and a modal logic for real-time systems. The equivalence is based on timed processes and timing specifications they have to satisfy. While the equivalence we define is not a congruence, it does satisfy many laws

[1]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[2]  Aloysius K. Mok,et al.  A Graph-Theoretic Approach for Timing Analysis and its Implementation , 1987, IEEE Transactions on Computers.

[3]  Wang Yi,et al.  Real-Time Behaviour of Asynchronous Agents , 1990, CONCUR.

[4]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[5]  C. A. R. Hoare,et al.  Specification-Oriented Semantics for Communicating Processes , 1983, ICALP.

[6]  Mathai Joseph,et al.  What's 'real' about real-time systems? , 1988, Proceedings. Real-Time Systems Symposium.

[7]  Faron Moller,et al.  A Temporal Calculus of Communicating Systems , 1990, CONCUR.

[8]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[9]  Kim G. Larsen,et al.  Proof System for Hennessy-Milner Logic with Recursion , 1988, CAAP.