Pages that link to "Item:Q1276259"
From MaRDI portal
The following pages link to Operational semantics of rewriting with priorities (Q1276259):
Displaying 12 items.
- On the expressibility of priority (Q975534) (← links)
- Semantics and expressiveness of ordered SOS (Q1012119) (← links)
- Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
- Semantics and strong sequentiality of priority term rewriting systems (Q1275017) (← links)
- Rooted branching bisimulation as a congruence (Q1975965) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- Structural operational semantics with first-order logic (Q2810690) (← links)
- A congruence rule format with universal quantification (Q2871833) (← links)
- Termination of Priority Rewriting (Q3618597) (← links)
- Priority rewriting: Semantics, confluence, and conditionals (Q5055727) (← links)
- Semantics and strong sequentially of priority term rewriting systems (Q5055874) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900560) (← links)