fact: Definition OneDel (a : A) (p : Process) (d1 : Discourse Channel Act) := let (c0, w0, _) := d1 in existS (Signal Channel Act) c0 w0 = existS (Signal Channel Act) del (Clear Channel Act del a).
imports: ABP.ABP.TRACES.Protocol