University of Leicester


Priority Rewrite Systems for OSOS Process Languages,

Irek Ulidowski,

In R. Amadio and D. Lugiez editors, Proceedings of the 14th International Conference on Concurrency Theory CONCUR 2003, pp 87-102, LNCS 2761. Springer 2003.


We propose a procedure for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format. Rewriting of process terms is sound for bisimulation and head normalising within the produced PRSs. For a subclass of process languages representing finite behaviours the generated PRSs are strongly normalising (terminating), confluent and complete for bisimulation for closed terms modulo associativity and commutativity of the choice operator. We illustrate the usefulness of our procedure with several examples.

| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

Author: Irek Ulidowski (
University of Leicester. Last modified: 15th April 2008, 18:37:33
CS Web Maintainer.