- An agent is an entity able to communicate over a port
- communication happens when a port has a label and another port has the complementary label
- When agent A and B have ports x and x_ (complementary) they communicate by def. which is called internal action, and the event is denoted by tau.
- a behaviour equation (E1,E2,..) algebraically defines a part of the behaviour of an agent (A,B..).

*

See also process algebraReferences:C.A.R. Hoare

*Communicating Sequential Processes*Pren.H. '85.Robin Milner

*A Calculus of Communicating Systems*Lecture notes in computer science 92, Springer Verlag '80.C.J. Koomen,

*The Design of Communicating Systems*A System Engineering Approach, Kluwer Ac. Pr. '91.

Does anyone know of a logical reasoning in tcl package, I guess like prolog does, so a proof mechanism, and maybe a exploration mechanism ?It's been a long time after I scored my 'formal logic' advanced university course after 3 attempts, and I was fed up with trying, but it was kind of fun to play formal sherlock holmes on the computer...