The following pages link to Programming Languages and Systems (Q5464047):
Displayed 6 items.
- Parametric synchronizations in mobile nominal calculi (Q935464) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- Explicit fusions (Q2566040) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Relational Analysis of Correlation (Q3522059) (← links)
- PRISMA: A Mobile Calculus with Parametric Synchronization (Q3608457) (← links)