The following pages link to (Q4941924):
Displaying 6 items.
- A basic algebra of stateless connectors (Q860881) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- GETGRATS (Q4923529) (← links)
