ACTa1internal action (tick)
pparticle
p#qproduct of particles
p^nexponentiation: particle p, positive integer n times
epsempty observation, not allowed in agents (because it isn't really an action!)

Notes

Positive integers other than 1 on their own do not count as actions, for example in logical modalities and action sets, even though they can be used as agent prefixes: think of the latter as syntactic sugar.


Edinburgh Concurrency Workbench (v7.1). Page generated: Sat Jul 17 22:03:22 BST 1999