- SPLC Workshops, page 299. Lancaster University, (2010)
- APSEC, page 348-356. IEEE, (2011)
- SDL Forum, volume 7083 of Lecture Notes in Computer Science, page 38-53. Springer, (2011)
- SDL Forum, volume 7083 of Lecture Notes in Computer Science, page 233-246. Springer, (2011)
- SPLC, page 90-99. IEEE, (2011)
- OOPSLA Companion, page 315-316. ACM, (2011)
- History of Nordic Computing, volume 350 of IFIP Publications, page 339-349. Springer, (2010)
- Computer Networks (1987)
- Journal of Object Technology (2011)
- ACM, (1993)
- DLS, page 81-96. ACM, (2010)
- MoDELS 1, volume 6394 of Lecture Notes in Computer Science, page 1-15. Springer, (2010)
- Journal of Object Technology 8(7):59-85 (2009)
- SPLC, volume 6287 of Lecture Notes in Computer Science, page 106-120. Springer, (2010)
- MoDELS 1, volume 6394 of Lecture Notes in Computer Science, page 1-15. Springer, (2010)
- ICMT, volume 6142 of Lecture Notes in Computer Science, page 93-107. Springer, (2010)
- POPL, page 285-298. (1983)
- ICMT, volume 5563 of Lecture Notes in Computer Science, page 67-82. Springer, (2009)
- ECMDA-FA, volume 5562 of Lecture Notes in Computer Science, page 2-17. Springer, (2009)
- FASE, volume 5503 of Lecture Notes in Computer Science, page 34-48. Springer, (2009)


author