Priorities in process algebras

An operational semantics for an algebraic theory of concurrency that incorporates a notion of priority into the definition of the execution of actions is developed. An equivalence based on strong observational equivalence is defined and shown to be a congruence, and a complete axiomatization is given for finite terms. Several examples higlight the novelty and usefulness of our approach.

Authors

• Rance Cleaveland
• Matthew Hennessy

Keywords

No keywords are indexed for this paper.