@article {12777,
	title = {Priorities in process algebras},
	journal = {Information and Computation},
	volume = {87},
	year = {1990},
	pages = {58 - 77},
	abstract = {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.},
	isbn = {0890-5401},
	doi = {10.1016/0890-5401(90)90059-Q},
	url = {http://www.sciencedirect.com/science/article/pii/089054019090059Q},
	author = {Cleaveland, Rance and Hennessy,Matthew}
}
