Pages that link to "Item:Q470043"
From MaRDI portal
The following pages link to A calculus of trustworthy ad hoc networks (Q470043):
Displaying 9 items.
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- A process calculus for mobile ad hoc networks (Q967528) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- Depletable channels: dynamics, behaviour, and efficiency in network design (Q2422775) (← links)
- A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks (Q3163870) (← links)
- A Calculus for Mobile Ad Hoc Networks (Q3634642) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465849) (← links)