Sébastien Briais, Uwe Nestmann. A Formal Semantics for Protocol Narrations. In Rocco De Nicola, Davide Sangiorgi, editors, Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. Volume 3705 of Lecture Notes in Computer Science, pages 163-181, Springer, 2005. [doi]
Abstract is missing.