Login / Signup
Palle Raabjerg
Publication Activity (10 Years)
Years Active: 2011-2015
Publications (10 Years): 1
Top Topics
Mobile Clients
Sequent Calculi
Data Broadcasting
Communication Protocols
Top Venues
Math. Struct. Comput. Sci.
Softw. Syst. Model.
</>
Publications
</>
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.
Softw. Syst. Model.
14 (1) (2015)
Joachim Parrow
,
Johannes Borgström
,
Palle Raabjerg
,
Johannes Åman Pohjola
Higher-order psi-calculi.
Math. Struct. Comput. Sci.
24 (2) (2014)
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.
SEFM
(2011)