Real time process algebra with time-dependent conditions

Abstract

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

Preprint available here.