Pages that link to "Item:Q967528"
From MaRDI portal
The following pages link to A process calculus for mobile ad hoc networks (Q967528):
Displaying 20 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)
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- Measuring security in IoT communications (Q1731516) (← links)
- Analysis of mobile networks' protocols based on abstract state machine (Q2117591) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- Depletable channels: dynamics, behaviour, and efficiency in network design (Q2422775) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
- Characterising Testing Preorders for Broadcasting Distributed Systems (Q2811926) (← links)
- Broadcast Psi-calculi with an Application to Wireless Protocols (Q3095234) (← links)
- (Q4553277) (← 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)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)
- Proofs about Network Communication: For Humans and Machines (Q6197375) (← links)
