Real time process algebra with time-dependent conditions

We extend the main real time version of ACP presented in [6] with conditionals in which the condition depends on time. This extension facilitates flexible dependence of proccess behaviour on initialization time. We show that the conditions concerned generalize the conditions introduced earlier in a discrete time setting in [4].

[1]  J. Bergstra,et al.  Handbook of Process Algebra , 2001 .

[2]  Joseph Sifakis,et al.  The Algebra of Timed Processes, ATP: Theory and Application , 1994, Inf. Comput..

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

[4]  Jj Vereijken,et al.  Fischer's protocol in timed process algebra , 1994 .

[5]  Liang Chen,et al.  An Interleaving Model for Real-Time Systems , 1992, LFCS.

[6]  Kees Middelburg,et al.  Variable binding operators in transition system specifications , 2000, J. Log. Algebraic Methods Program..

[7]  Jan Friso Groote,et al.  Analysis of three hybrid systems in timed µCRL , 2001, Sci. Comput. Program..

[8]  Jan A. Bergstra,et al.  Process Algebra for Synchronous Communication , 1984, Inf. Control..

[9]  Jos C. M. Baeten,et al.  Process Algebra with Timing: Real Time and Discrete Time , 1999, Handbook of Process Algebra.

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

[11]  Chris Verhoef,et al.  Concrete process algebra , 1995, LICS 1995.

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

[13]  Wang Yi,et al.  CCS + Time = An Interleaving Model for Real Time Systems , 1991, ICALP.

[14]  Joris A. Hillebrand.  The ABP and the CABP — a Comparison of Performances in Real Time Process Algebra , 1995 .

[15]  Jan A. Bergstra,et al.  The Algebra of Recursively Defined Processes and the Algebra of Regular Processes , 1984, ICALP.

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

[17]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[18]  Wan Fokkink,et al.  A Conservative Look at Operational Semantics with Variable Binding , 1998, Inf. Comput..

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

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

[21]  Thomas A. Henzinger,et al.  Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[22]  Jan A. Bergstra,et al.  Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time , 1997, Fundam. Informaticae.

[23]  A. Steven Klusener.  Completeness in Real Time Process Algebra , 1991, CONCUR.