Pages that link to "Item:Q1854326"
From MaRDI portal
The following pages link to Tile formats for located and mobile systems. (Q1854326):
Displaying 10 items.
- Dynamic connectors for concurrency (Q1603689) (← 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)
- Comparing cospan-spans and tiles via a Hoare-style process calculus (Q2841276) (← links)
- On GS-Monoidal Theories for Graphs with Nesting (Q3059707) (← links)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design (Q3507361) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
