GenAutomata Sections NuprlLIB Doc

Def =msg=(E)(e_1,e_2) == (msg(E)(e_1)) =(MS(E)) (msg(E)(e_2))

is mentioned

In prior sections: mb structures mb hybrid


GenAutomata Sections NuprlLIB Doc