Pages that link to "Item:Q5262943"

The following pages link to An Observational Theory for Mobile Ad Hoc Networks (Q5262943):

Displayed 8 items.

• An operational semantics for a calculus for wireless systems (Q964487) ‎ (← links)
• A process calculus for mobile ad hoc networks (Q967528) ‎ (← links)
• An observational theory for mobile ad hoc networks (full version) (Q1012124) ‎ (← links)
• Static analysis of topology-dependent broadcast networks (Q2266988) ‎ (← links)
• Model checking mobile ad hoc networks (Q2363813) ‎ (← 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)
• An Observational Theory for Mobile Ad Hoc Networks (Q5262943) ‎ (← links)