Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow. Broadcast psi-calculi with an application to wireless protocols. Software and Systems Modeling, 14(1):201-216, 2015. [doi]
Abstract is missing.