GenAutomata
Sections
NuprlLIB
Doc
Def
TaggedEventStruct == E:Type
M:MessageStruct
(E
|M|)
(E
Label)
(E
)
(E
Label)
Top
is mentioned
In prior sections:
mb
structures
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
M:MessageStruct(E
|M|)(ELabel)(E
)(ELabel)Top