Higher-order psi-calculi. - Joachim Parrow; Johannes Borgström; Palle Raabjerg; Johannes Åman Pohjola (Math. Struct. Comput. Sci., 2014)

Broadcast psi-calculi with an application to wireless protocols. - Johannes Borgström; Shuqin Huang; Magnus Johansson; Palle Raabjerg; Björn Victor; Johannes Åman Pohjola; Joachim Parrow (Softw. Syst. Model., 2015)

Broadcast Psi-calculi. - Palle Raabjerg; Johannes Åman Pohjola; Tjark Weber (Arch. Formal Proofs, 2024)