Consistent Causality-Based View on a Timed Process Algebra

摘要

This paper discusses a timed variant of a process algebra akin to LOTOS, calledTPA, in a causality-based setting. Two timed features are incorporated--a delay function which constrains the occurrence time of atomic actions and an urgency operator that forces (local or synchronized) actions to happen urgently. A novel timed extension of event structures is introduced and used as a vehicle to provide a denotational causality-based semantics for TPA. In addition, an