Pages that link to "Item:Q3095234"
From MaRDI portal
The following pages link to Broadcast Psi-calculi with an Application to Wireless Protocols (Q3095234):
Displaying 5 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- Modelling and verifying the AODV routing protocol (Q324632) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- Psi-calculi in Isabelle (Q5890661) (← links)
