GenAutomata Sections NuprlLIB Doc

Def totalorder(E)(tr) == p,q:Label. agree_on_common(|MS(E)|;map(msg(E);tr delivered at p);map(msg(E);tr delivered at q))

is mentioned

In prior sections: mb hybrid


GenAutomata Sections NuprlLIB Doc