The following pages link to (Q4282581):
Displayed 5 items.
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- An abstract machine for concurrent modular systems: CHARM (Q1314422) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- On relating rewriting systems and graph grammars to event structures (Q5096291) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)