The following pages link to (Q4484502):
Displayed 10 items.
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Pict correctness revisited (Q1004056) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- Linear forwarders (Q2384926) (← links)
- Explicit fusions (Q2566040) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
- Pict Correctness Revisited (Q5428913) (← links)