================================================================================
P9208c  J.C.M. Baeten & J.A. Bergstra
        "Discrete time process algebra"
        (revised version of P9208b)


The axiom system ACP of [BeK84] was extended with real time features in
[BaB91]. Here we proceed to define a discrete time extension of ACP, along
the lines of ATP [NiS94]. We present versions based on relative timing and
on absolute timing. Both approaches are integrated using parametric timing.
The timing free ACP theory is embedded in the discrete time theory.


[BeK84] J.A. Bergstra & J.W. Klop, Process algebra for synchronous
	communication, Inf. & Control 60, 1984, pp. 109-137.

[BaB91]	J.C.M. Baeten & J.A. Bergstra, Real time process algebra, Formal
	Aspects of Computing 3(2), 1991, pp. 142-188.

[NiS94]	X. Nicollin & J. Sifakis, The algebra of timed processes ATP:
	theory and application, Information & Computation 114, 1994,
	pp. 131-178.