On the formal specification and verification of a Multiparty Session Protocol (0)

by Pau-Chen Cheng, Virgil D Gligor
Venue:From 1990 IEEE Computer Society Symposium on Research in Security and Privacy