GenAutomata Sections NuprlLIB Doc

Def EventStruct == E:TypeM:MessageStruct(E|M|)(ELabel)(E)Top

is mentioned

In prior sections: mb structures mb hybrid


GenAutomata Sections NuprlLIB Doc