Priorities in process algebras.

HENNESSY, MATTHEW

This item is covered by a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 Internationa. Click to find out more

File Type:

PDF

Item Type:

Conference Paper

Date:

1988

Author:

HENNESSY, MATTHEW

Citation:

Rance Cleaveland and Matthew Hennessy `Priorities in process algebra? in proceedings of Third Annual Symposium on Logic in Computer Science, Edinburgh, Scotland, 5-8 July 1988, IEEE Computer Society, 1988, pp 193-202

Download Item:

(published (publisher copy) peer-reviewed) 603.3Kb

Abstract:

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