Palle Raabjerg
Technical system administrator at University Library; Digitisation Division; National Systems
- Telephone:
- +46 18 471 39 05
- Mobile phone:
- +46 72 999 96 78
- E-mail:
- palle.raabjerg@ub.uu.se
- Visiting address:
- Carolina Rediviva, Dag Hammarskjölds väg 1
- Postal address:
- Box 510
751 20 UPPSALA
Publications
Recent publications
Broadcast psi-calculi with an application to wireless protocols
Part of Software and Systems Modeling, p. 201-216, 2015
- DOI for Broadcast psi-calculi with an application to wireless protocols
- Download full text (pdf) of Broadcast psi-calculi with an application to wireless protocols
Part of Mathematical Structures in Computer Science, 2014
Negative premises in applied process calculi
2013
Extending psi-calculi and their formal proofs
2012
Broadcast Psi-calculi with an Application to Wireless Protocols
Part of Software Engineering and Formal Methods, p. 74-89, 2011
- DOI for Broadcast Psi-calculi with an Application to Wireless Protocols
- Download full text (pdf) of Broadcast Psi-calculi with an Application to Wireless Protocols
All publications
Articles in journal
Broadcast psi-calculi with an application to wireless protocols
Part of Software and Systems Modeling, p. 201-216, 2015
- DOI for Broadcast psi-calculi with an application to wireless protocols
- Download full text (pdf) of Broadcast psi-calculi with an application to wireless protocols
Part of Mathematical Structures in Computer Science, 2014
Comprehensive licentiate thesis
Conference papers
Broadcast Psi-calculi with an Application to Wireless Protocols
Part of Software Engineering and Formal Methods, p. 74-89, 2011
- DOI for Broadcast Psi-calculi with an Application to Wireless Protocols
- Download full text (pdf) of Broadcast Psi-calculi with an Application to Wireless Protocols