Formal Validation of a Multicast Transport Protocol.

Rachid Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat

Browse the full ISCC paper archive.