GenAutomata Sections NuprlLIB Doc

Def MCS(E)(P) == memorylessR(E) preserves P & (ternary) composableR(E) preserves P & safetyR(E) preserves P

is mentioned

In prior sections: mb hybrid


GenAutomata Sections NuprlLIB Doc