Broadcast Psi-calculi with an Application to Wireless Protocols.

Johannes Borgstrm, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Bjrn Victor, Johannes man Pohjola, Joachim Parrow

Browse the full SEFM paper archive.