Sébastien Briais Uwe Nestmann A Formal Semantics for Protocol Narrations. 163-181 2005 conf/tgc/2005 TGC http://dx.doi.org/10.1007/11580850_10 db/conf/tgc/tgc2005.html#BriaisN05