Operational semantics of rewriting with priorities

J.C. Pol, van de

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)


We study the semantics of term rewriting systems with rule priorities (PRS), as introduced in Baeten et al. (1989). Three open problems posed in that paper are solved, by giving counter examples. Moreover, a class of executable PRSs is identified. A translation of PRSs into transition system specifications (TSS) is given. This translation introduces negative premises. We prove that the translation preserves the operational semantics.
Original languageEnglish
Pages (from-to)289-312
JournalTheoretical Computer Science
Issue number1-2
Publication statusPublished - 1998


Dive into the research topics of 'Operational semantics of rewriting with priorities'. Together they form a unique fingerprint.

Cite this