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