Specification and verification of reliability in dispatching multicast messages

Seyed Morteza Babamir. Specification and verification of reliability in dispatching multicast messages. The Journal of Supercomputing, 63(2):612-635, 2013. [doi]

Abstract

Abstract is missing.