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

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

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)

Cited In (1)

• Title not available (Why is that?)

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)