|
|
|
|
connect()
make a connection request listen()
respond to a connection request send()
send data over a connection receive()
receive data over a connection disconnect()
end a connection
End-point addresses.
Connection accept-reject.
Stream-message choice.
Other property choices.
client() connection c c.connect(server addr, message) if c.connected c.send(msg) r = c.receive() c.disconnect() server() connection c = listen(*) if ok(c) c.connect(c) msg = c.receive() c.send(f(msg)) c.disconnect()
This page last modified on 2014 September 22. |