Login / Signup

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

Chryssis GeorgiouPeter M. MusialAlexander A. ShvartsmanElaine L. Sonderegger
Published in: PODC (2007)
Keyphrases
  • formal treatment
  • end to end
  • natural language
  • tcp ip
  • high level
  • java virtual machine
  • web services
  • object oriented
  • programming language
  • multi channel
  • cross platform