The following pages link to Closed action calculi (Q1575888):
Displaying 5 items.
- Dynamic connectors for concurrency (Q1603689) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Calculi for interaction (Q1901716) (← links)
- A general framework for types in graph rewriting (Q2581012) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)