Postprint
This is the accepted version of a paper published in Software and Systems Modeling. This paper has been peer-reviewed but does not include the final publisher proof-corrections or journal pagination.
Citation for the original published paper (version of record):
Borgström, J., Huang, S., Johansson, M., Raabjerg, P., Victor, B. et al. (2015) Broadcast psi-calculi with an application to wireless protocols.
Software and Systems Modeling, 14(1): 201-216 http://dx.doi.org/10.1007/s10270-013-0375-z
Access to the published version may require subscription.
N.B. When citing this work, cite the original published paper.
Permanent link to this version:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-205258
Software and System Modeling 14:1, February 2015 DOI:10.1007/s10270-013-0375-z
Broadcast Psi-calculi
with an Application to Wireless Protocols
Johannes Borgstr¨ om 1 , Shuqin Huang 2 , Magnus Johansson 1 , Palle Raabjerg 1 , Bj¨ orn Victor 1 , Johannes ˚ Aman Pohjola 1 , Joachim Parrow 1
1
Department of Information Technology, Uppsala University, Sweden
2