GenAutomata Sections NuprlLIB Doc

Def guarded_trace(da;e;I) == r:rel(). r I (k:Label. affects_trace_rel(e;k;r) (t:dec(). t da & t.lbl = k))

is mentioned

In prior sections: mb automata 4


GenAutomata Sections NuprlLIB Doc