Formalization and Verification of XMPP Communication Mechanism Using CSP (S).

Di Wu, Wenting Dong, Huibiao Zhu

Browse the full SEKE paper archive.