![](/img/cover-not-exists.png)
[ACM Press the twenty-sixth annual ACM symposium - Portland, Oregon, USA (2007.08.12-2007.08.15)] Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing - PODC '07 - A formal treatment of an abstract channel implementation using java sockets and TCP
Georgiou, Chryssis, Musial, Peter M., Shvartsman, Alexander A., Sonderegger, Elaine L.Year:
2007
Language:
english
DOI:
10.1145/1281100.1281159
File:
PDF, 160 KB
english, 2007