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

DOI10.1145/1281100.1281159zbMATH Open1283.68094OpenAlexW2082959010MaRDI QIDQ5401445FDOQ5401445

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

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

asynchronous communicationI/O automatadynamic participationTCP and Java sockets

Mathematics Subject Classification ID

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

Recommendations

• Design and implementation of efficient communication abstractions on the virtual interface architecture: Stream sockets and RPC experience
• scientific article; zbMATH DE number 2139481
• Using JavaNws to compare C and Java TCP-socket performance
• scientific article; zbMATH DE number 1670560

Cited in

(1)

• scientific article; zbMATH DE number 2139481 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5401445)