next up previous
Next: Call Arrows Up: PJ Elements Previous: Agents

Call Arrows and Channels

Arrows are used to denote an agent to be called or as representation for a tell right. A tell right is necessary for sending data to another agent, i.e. writing to a channel.

Volker Haarslev
Wed Jan 31 15:50:43 MET 1996