ACT	a	tau	internal action
		n	name: an identifier beginning with a lower case letter
		'n	coname. This is an ASCIIfication of normal CCS's overbarred n.
		eps	empty observation, not allowed in agents (because it isn't really an action!)

---

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