The following pages link to Eric Madelaine (Q1633066):
Displaying 8 items.
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← links)
- SMT-based generation of symbolic automata (Q2182674) (← 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)
- (Q3340121) (← links)
- (Q4037106) (← links)
- (Q4037400) (← links)
