The following pages link to (Q4536607):
Displaying 11 items.
- Dynamic connectors for concurrency (Q1603689) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- SMT-based generation of symbolic automata (Q2182674) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- Comparing higher-order encodings in logical frameworks and tile logic (Q2841275) (← links)
- Comparing cospan-spans and tiles via a Hoare-style process calculus (Q2841276) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- (Q4222924) (← links)
- GETGRATS (Q4923529) (← links)