dftrace: find a trace distinguishing two agents
dftrace(A,B);
Notes
Produces a sequence of observable actions which can be performed by one
agent but not by the other, unless the agents are trace (may) equivalent.
See also
dfstrong
dfweak
mayeq
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999