Documents
Home
White paper
Paper
UBF(A) spec
UBF(B) spec
UBF(C) spec

Tutorials
Quick start
Erlang servers
Java clients

Services
IRC
Message Box
File server

Downloads
Downloads

UBF(C)
2002-03-05

UBF(C)

All client/server remote-proceedure calls have the following form:

 Msg$  => {Reply, NextState}$

Here Msg and Type are UBF(A) types and NextState is the next state of the server.

)