The following pages link to (Q4934317):
Displaying 8 items.
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Tiling transactions in rewriting logic (Q2851050) (← links)
- G-reactive systems as coalgebras (Q2864375) (← links)
- A coalgebraic theory of reactive systems (Q2870200) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- GETGRATS (Q4923529) (← links)