findinitobs: find states with a given set of next observable actions
Exactly like findinit, except that for each state with the given set of
next observable actions, we give an observable trace leading to the state.
That is, we take the the trace produced by findinit and delete all taus!
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999