GenAutomata
Sections
NuprlLIB
Doc
Def
switchable0(E)(P) == safetyR(E) preserves P & memorylessR(E) preserves P & (ternary) composableR(E) preserves P & send-enabledR(E) preserves P & asyncR(E) preserves P & delayableR(E) preserves P
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc