## Process algebra with timing: real time and discrete time (2001)

Venue: | Smolka (Eds.), Handbook of Process Algebra |

Citations: | 27 - 10 self |

### BibTeX

@INPROCEEDINGS{Baeten01processalgebra,

author = {J. C. M. Baeten and C. A. Middelburg},

title = {Process algebra with timing: real time and discrete time},

booktitle = {Smolka (Eds.), Handbook of Process Algebra},

year = {2001},

publisher = {Elsevier}

}

### Years of Citing Articles

### OpenURL

### Abstract

We present real time and discrete time versions of ACP with absolute timing and relative timing. The starting-point isanewrealtimeversion with absolute timing, called ACPsat, featuring urgent actions and a delay operator. The discrete time versions are conservative extensions of the discrete time versions of ACP being known as ACP dat and ACP drt. The principal version is an extension of ACP sat with integration and initial abstraction to allow for choices over an interval of time and relative timing to be expressed. Its main virtue is that it generalizes ACP without timing and most other versions of ACP with timing in a smooth and natural way. This is shown for the real time version with relative timing and the discrete time version with absolute timing.