Formal Modeling and Verification of AMQP Protocol Using Multiparty Session Types (S).

Huiying Liu, Huibiao Zhu, Sini Chen

Browse the full SEKE paper archive.