The following pages link to Jean-Marie Madiot (Q342732):
Displaying 8 items.
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Duality and i/o-Types in the π-Calculus (Q2914377) (← links)
- Symmetries and Dualities in Name-Passing Process Calculi (Q2944898) (← links)
- Bisimulations Up-to: Beyond First-Order Transition Systems (Q3190111) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
- (Q5155688) (← links)
- Name-Passing Calculi: From Fusions to Preorders and Types (Q5271075) (← links)