The following pages link to (Q4362962):
Displayed 8 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)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)