GenAutomata
Sections
NuprlLIB
Doc
Def
layerR(E) == ((asyncR(E)
delayableR(E))
send-enabledR(E))^*
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
delayableR(E)) send-enabledR(E))^*