Pages that link to "Item:Q5262975"
From MaRDI portal
The following pages link to A Prospectus for Mobile Broadcasting Systems (Q5262975):
Displayed 5 items.
- An operational semantics for a calculus for wireless systems (Q964487) (← 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)
- Tree Process Calculus (Q5415625) (← links)