dftrace: find a trace distinguishing two agents
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.
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999