The following pages link to (Q4536441):
Displaying 5 items.
- Dynamic connectors for concurrency (Q1603689) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Comparing cospan-spans and tiles via a Hoare-style process calculus (Q2841276) (← links)
- GETGRATS (Q4923529) (← links)
