|
[CS14]
Muffy Calder and Michele Sevegnani.
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing.
Formal Aspects of Computing, 26(3), pages 537-561.
2014.
[Analyses a model of the 802.11 CSMA/CA RTS/CTS protocol, modelled in an extension of stochastic bigraphical reactive systems, and then imported into PRISM]
|
|
Links:
[Google]
[Google Scholar]
|