Operational semantics of rewriting with priorities

DOI10.1016/S0304-3975(97)00283-1zbMath0917.68141OpenAlexW2112874000MaRDI QIDQ1276259

Jaco van de Pol

Publication date: 20 January 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00283-1

zbMATH Keywords

transition system specificationsrule priorities

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items

Rooted branching bisimulation as a congruence, Termination of Priority Rewriting, Structural Operational Semantics with First-Order Logic, Semantics and expressiveness of ordered SOS, Generating priority rewrite systems for OSOS process languages, Semantics and strong sequentiality of priority term rewriting systems, A Congruence Rule Format with Universal Quantification

Cites Work

• Comparison of priority rules in pattern matching and term rewriting
• Term-rewriting systems with rule priorities
• The meaning of negative premises in transition system specifications
• Priority rewriting: Semantics, confluence, and conditionals
• Unnamed Item
• Unnamed Item