"Formal Modeling of Communication Protocols by Graph Transformation."

Zarrin Langari, Richard J. Trefler (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics