The Timed Failures-Stability Model for CSP

We present a mathematical model which is the most abstract allowing (i) a fully compositional semantics for timed CSP and (ii) a natural abstraction map into the standard failures/divergences model of untimed CSP. We discuss in detail the construction and properties of this model, and explore the variety of nondeterministic behaviour it encompasses. We argue that, at least in some sense, this model is definitive for timed CSP.

[1]  Gavin Lowe,et al.  Probabilistic and Prioritized Models of Timed CSP , 1995, Theor. Comput. Sci..

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

[3]  Jim Davies,et al.  Factorizing Proofs in Timed CSP , 1990, Mathematical Foundations of Programming Semantics.

[4]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[5]  Steve A. Schneider,et al.  An Operational Semantics for Timed CSP , 1995, Inf. Comput..

[6]  A. W. Roscoe,et al.  Fixed Points Without Completeness , 1995, Theor. Comput. Sci..

[7]  Jim Davies,et al.  Timed CSP: Theory and Practice , 1991, REX Workshop.

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

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

[10]  Stephen Blamey,et al.  The soundness and completeness of axioms for CSP processes , 1991 .

[11]  Andrew Kay,et al.  A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange , 1993, IEEE Trans. Software Eng..

[12]  Andrew William Roscoe,et al.  CSP and timewise refinement , 1991 .

[13]  Jim Davies,et al.  A Brief History of Timed CSP , 1995, Theor. Comput. Sci..

[14]  Gavin Lowe,et al.  Probabilities and priorities in timed CSP , 1993 .

[15]  G. M. Reed.  A uniform mathematical theory for real-time distributed computingT , 1988 .

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

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

[18]  A. W. Roscoe,et al.  A Timed Model for Communicating Sequential Processes , 1986, Theor. Comput. Sci..

[19]  Jim Davies,et al.  Specification and proof in real-time systems , 1991 .

[20]  Andrew William Roscoe.  A mathematical theory of communicating processes , 1982 .