stable: is the agent stable?
stable A;
Notes
An agent is stable iff it can not initially perform an unobservable action. (tau for TCCS, 1 for SCCS)
Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999