Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP'. Together they form a unique fingerprint.

Engineering & Materials Science