Pages that link to "Item:Q5096140"
From MaRDI portal
The following pages link to Unified Algebras and action semantics (Q5096140):
Displaying 5 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Category-sorted algebra-based action semantics (Q2638792) (← links)