The following pages link to (Q4934334):
Displaying 18 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)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← 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)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- Broadcast Psi-calculi with an Application to Wireless Protocols (Q3095234) (← links)
- (Q3384877) (← 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)
- A Prospectus for Mobile Broadcasting Systems (Q5262975) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)
