The following pages link to (Q4934334):
Displayed 9 items.
- Contexts, refinement and determinism (Q541213) (← links)
- Parametric synchronizations in mobile nominal calculi (Q935464) (← links)
- An operational semantics for a calculus for wireless systems (Q964487) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- CCS with priority guards (Q2474050) (← links)
- Symmetric electoral systems for ambient calculi (Q2475806) (← links)
- Broadcast Psi-calculi with an Application to Wireless Protocols (Q3095234) (← links)
- PRISMA: A Mobile Calculus with Parametric Synchronization (Q3608457) (← links)