Pages that link to "Item:Q1012124"
From MaRDI portal
The following pages link to An observational theory for mobile ad hoc networks (full version) (Q1012124):
Displaying 11 items.
- Mechanizing a process algebra for network protocols (Q287372) (← links)
- Modelling and verifying the AODV routing protocol (Q324632) (← links)
- A calculus of trustworthy ad hoc networks (Q470043) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- Analysis of mobile networks' protocols based on abstract state machine (Q2117591) (← links)
- Depletable channels: dynamics, behaviour, and efficiency in network design (Q2422775) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- Broadcast Psi-calculi with an Application to Wireless Protocols (Q3095234) (← links)
