GenAutomata
Sections
NuprlLIB
Doc
Def
trace_consistent_pred(rho;da;R;p) == (
r
p.trace_consistent_rel(rho;da;R;r))
is mentioned
In prior sections:
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc
r
p.trace_consistent_rel(rho;da;R;r))