Timed CSP: Theory and practice

[1]  Jim Davies,et al.  Broadcast Communication for Real-time Processes , 1992, FTRTFT.

[2]  A. W. Roscoe,et al.  Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency , 1991, Concurrency: Theory, Language, And Architecture.

[3]  George M. Reed,et al.  A Hierarchy of Domains for Real-Time Distributed Computing , 1990, Mathematical Foundations of Programming Semantics.

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

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

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

[7]  Cliff B. Jones,et al.  Tentative steps toward a development method for interfering programs , 1983, TOPL.