A Complete Proof System for Timed Observations

Timed Observations is a failure and divergence semantic model for concurrent processes, suitable for real-time systems. Actions are not instantaneous but need some time to complete their execution, and true concurrency is expressed by action multisets (bags). Time is global and discrete.

[1]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[2]  Joseph Sifakis,et al.  ATP: an Algebra for Timed Processes , 1990, Programming Concepts and Methods.

[3]  Steven A. Schneider,et al.  Correctness and communication in real-time systems (tcsp) , 1989 .

[4]  Matthew Hennessy,et al.  A Temporal Process Algebra , 1990, FORTE.

[5]  Ilaria Castellani,et al.  Concurrency and Atomicity , 1988, Theor. Comput. Sci..

[6]  C. A. R. Hoare,et al.  A Model for Communicating Sequential Processes , 1980, On the Construction of Programs.

[7]  Jan A. Bergstra,et al.  Real space process algebra , 1991, Formal Aspects of Computing.

[8]  Ernst-Rüdiger Olderog,et al.  Process Theory: Semantics, Specification and Verification , 1986, Current Trends in Concurrency.

[9]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[10]  Willem P. de Roever,et al.  Compositional Semantics for Real-time Distributed Computing , 1985, Logic of Programs.

[11]  George J. Milne,et al.  CIRCAL and the representation of communication, concurrency, and time , 1985, TOPL.

[12]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[13]  A. W. Roscoe,et al.  An Improved Failures Model for Communicating Processes , 1984, Seminar on Concurrency.

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

[15]  David de Frutos-Escrig,et al.  Timed Observations: A Semantic Model for Real-Time Concurrency , 1990, Programming Concepts and Methods.

[16]  Willem P. de Roever,et al.  Compositional Semantics for Real-Time Distributed Computing , 1985, Inf. Comput..

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

[18]  David de Frutos-Escrig,et al.  TIC: A Timed Calculus for LOTOS , 1989, Formal Techniques for (Networked and) Distributed Systems.

[19]  Andy Boucher,et al.  A Timed Failures Model for Extended Communicating Processes , 1987, ICALP.

[20]  A. W. Roscoe,et al.  Metric Spaces as Models for Real-Time Concurrency , 1987, MFPS.

[21]  Tomasz Müldner,et al.  On the Algorithmic Properties of Concurrent Programs , 1979, Logic of Programs.

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