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