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

agent X = A;

agent X(FP) = A;

agent X;

Notes

(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.

Synonyms