The following pages link to (Q3839052):
Displaying 15 items.
- Dynamic connectors for concurrency (Q1603689) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic (Q2841275) (← links)
- (Q2851050) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design (Q3507361) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
