A formal treatment of an abstract channel implementation using java sockets and TCP.

Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger

Browse the full PODC paper archive.