This is an old revision of the document!
Example: Sender-Buffer-Receiver system
Agent S (sender) puts sequentially valueless signals to the buffer (agent B) and agent R (receiver) gets such signals from the buffer. Agent B offers two procedures (services, ports) to connected agents.
agent Sender { loop { -- 1 comments contain steps numbers out put; -- 2 } } agent Buffer { i :: Int = 0; proc (i == 0) put { in put; -- 1 i = 1; -- 2 } proc (i /= 0) get { out get; -- 3 i = 0; -- 4 } } agent Receiver { loop { -- 1 in get; -- 2 } }