An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets