GenAutomata Sections NuprlLIB Doc

Def I fuses P == tr:Trace(E). (m:Label. P( < tr > _m)) I(tr) P(tr)

is mentioned

In prior sections: mb hybrid


GenAutomata Sections NuprlLIB Doc