http://uu.diva-portal.org
This is an author produced version of a paper presented at 9th International Conference on Software Engineering and Formal Methods, November 14-18, 2011, Montevideo, Uruguay. This paper has been peer-reviewed but may not include the final publisher proof-corrections or pagination.
Citation for the published paper:
J. Borgström et al.
“Broadcast Psi-calculi with an Application to Wireless Protocols”
In: Software Engineering and Formal Methods: SEFM 2011, 2011, p. 74-89 Eds. G. Barthe, A. Pardo & G. Schneider
Lecture Notes in Computer Science, Vol. 7041 ISSN: 0302-9743
URL: http://dx.doi.org/10.1007/978-3-642-24690-6_7
Access to the published version may require subscription.
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 , and Joachim Parrow 1
1
Department of Information Technology, Uppsala University, Sweden
2