"A semantic model for safe protocol interaction."

Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics