"Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation ..."

Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics