Abstract
We shortly review the framework of process algebras with timing
presented by Baeten and Middelburg [Handbook of Process Algebra,
Elsevier, 2001, Chapter 10].
In order to cover processes that are capable of performing certain
actions at all points in some time interval, we add integration to
the process algebra with continuous relative timing from this
framework.
This extension happens to reveal some points that are peculiar to
relative timing.
We go into these points.
The most flagrant point is that, unlike in case of absolute timing,
discretization cannot be added to the extension without first adding a
mechanism for parametric timing like initial abstraction.
Preprint available here.