Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler. Generating Protocol Software from CPN Models Annotated with Pragmatics. In Juliano Iyoda, Leonardo Mendonça de Moura, editors, Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Volume 8195 of Lecture Notes in Computer Science, pages 227-242, Springer, 2013. [doi]
Abstract is missing.