The following pages link to Programming Languages and Systems (Q5464047):
Displayed 9 items.
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Parametric synchronizations in mobile nominal calculi (Q935464) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Explicit fusions (Q2566040) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Relational Analysis of Correlation (Q3522059) (← links)
- PRISMA: A Mobile Calculus with Parametric Synchronization (Q3608457) (← links)