Logic in Computer Science (LICS 1988)

Paper: Priorities in process algebras (at LICS 1988)

Authors: Rance Cleaveland Matthew Hennessy

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

BibTeX

  @InProceedings{CleavelandHennessy-Prioritiesinprocess,
    author = 	 {Rance Cleaveland and Matthew Hennessy},
    title = 	 {Priorities in process algebras},
    booktitle =  {Proceedings of the Third Annual IEEE Symp. on Logic in Computer Science, {LICS} 1988},
    year =	 1988,
    editor =	 {Yuri Gurevich},
    month =	 {July}, 
    pages =      {193--202},
    location =   {Edinburgh, Scotland, UK}, 
    publisher =	 {IEEE Computer Society Press}
  }