Pages that link to "Item:Q2827466"
From MaRDI portal
The following pages link to A Theory for the Composition of Concurrent Processes (Q2827466):
Displayed 5 items.
- SMT-based generation of symbolic automata (Q2182674) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- A Theory for the Composition of Concurrent Processes (Q2827466) (← links)
- A Denotational Semantics for Parameterised Networks of Synchronised Automata (Q2971177) (← links)