Pages that link to "Item:Q964487"
From MaRDI portal
The following pages link to An operational semantics for a calculus for wireless systems (Q964487):
Displaying 8 items.
- A calculus of trustworthy ad hoc networks (Q470043) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- Measuring security in IoT communications (Q1731516) (← links)
- A tale of two graph models: a case study in wireless sensor networks (Q2065559) (← links)
- Depletable channels: dynamics, behaviour, and efficiency in network design (Q2422775) (← links)
- Characterising Testing Preorders for Broadcasting Distributed Systems (Q2811926) (← links)
- Broadcast Psi-calculi with an Application to Wireless Protocols (Q3095234) (← links)
