================================================================================
P9411   M.J. Koens & L.H. Oei
        "A real time muCRL specification of a system for traffic regulation
        at signalized intersections"


This paper takes up the challenge advanced in Report P9313 of the
Programming Research Group of the University of Amsterdam [VW93]. It
provides an alternative way of specifying an existing traffic regulation
system at signalized intersections of the firm Nederland Haarlem.
The specification proposed in this paper features the major differences
with the previous attempt, which are threefold:

1. it is process orientated rather than data orientated, i.e., each phase
   is modeled as a process that runs in parallel with the others.
   Furthermore there is one central control process that decides which
   phases are realized (turn green).

2. it uses the rmCRL (Real Time Micro Common Representation Language), a
   Real Time extenson of muCRL, instead of PSF (Process Specification
   Formalism);

3. it features Prefix Integrated Real Time Process Algebra of Communicating
   Processes (ACP).


[VW93] S.F.M. van Vlijmen & A. van Waveren, Algebraic Specification of a
       System for Traffic Regulation at Signalized Intersections. Technical
       Report P9313, Programming Research Group, University of Amsterdam
       June 1993.