Abstract |
---|
In this paper we present the communication protocol that we use toimplement first class channels. Ordinary channels allow datacommunication (like CSP/Occam); first class channels allowcommunicating channel ends over a channel. This enables processes toexchange communication capabilities, making the communication graphhighly flexible. In this paper we present a simple protocol tocommunicate channels over channels, and we show that we can implementthis protocol cheaply and safely. Theimplementation is going to be embedded in, amongst others, ultramobile computer systems. We envisage that the protocol is so simple thatit can be implemented at hardware level. |
Contact |
Henk Muller University of Bristol,MV Building,Woodland Road,Bristol,BS8 1UB,UK, henkm@cs.bris.ac.uk |