The following pages link to (Q4222924):
Displaying 6 items.
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- A Theory for the Composition of Concurrent Processes (Q2827466) (← links)
- (Q4536607) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)