%0 Journal Article %J Information and Computation %D 1990 %T Priorities in process algebras %A Cleaveland, Rance %A Hennessy,Matthew %X 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. %B Information and Computation %V 87 %P 58 - 77 %@ 0890-5401 %G eng %U http://www.sciencedirect.com/science/article/pii/089054019090059Q %N 1-2 %R 10.1016/0890-5401(90)90059-Q