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

DOI10.1145/1281100.1281159zbMath1283.68094OpenAlexW2082959010MaRDI QIDQ5401445

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

Publication date: 13 March 2014

Published in: Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1281100.1281159

zbMATH Keywords

I/O automataasynchronous communicationdynamic participationTCP and Java sockets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

This page was built for publication: A formal treatment of an abstract channel implementation using java sockets and TCP