Pages that link to "Item:Q1606128"
From MaRDI portal
The following pages link to A causal semantics for CCS via rewriting logic (Q1606128):
Displaying 5 items.
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Causal computational complexity of distributed processes (Q2112798) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
