The following pages link to Trustworthy Global Computing (Q5394795):
Displayed 5 items.
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- Symmetries and Dualities in Name-Passing Process Calculi (Q2944898) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)