[AAS24]
Maram Albalwe, Blair Archibald and Michele Sevegnani.
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs.
Formal Aspects of Computing.
2024.
[Models and analyses a routing protocol for low-power and lossy
networks using bigraphs, with model checking done using PRISM.]
|
