agent: change (or show) the definition of an agent identifier

agent X = A;

binds agent A to identifier X

agent X(FP) = A;

binds a parameterised agent ((T)CCS only)

agent X;

prints the definition of X


An agent identifier must begin with an upper case letter.

(T)CCS only:

If P is a formal parameter, it is an error to use P(anything) in the body of the definition.

If a formal parameter name starts with a lower case letter, it stands for an action. If it starts with an upper case letter, it stands for an agent or for an action set, depending on context.



Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999