The following pages link to (Q4934334):
Displayed 13 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)
- Broadcast Calculus Interpreted in CCS upto Bisimulation (Q4917085) (← links)
- A Calculus for Mobile Ad-hoc Networks with Static Location Binding (Q5170671) (← links)
- Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks (Q5179206) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)