The following pages link to (Q4222848):
Displayed 5 items.
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Actor theories in rewriting logic (Q1608923) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)