GenAutomata Sections NuprlLIB Doc

Def Causal(E)(tr) == i:||tr||. j:||tr||. ji & (is-send(E)(tr[j])) & (tr[j] =msg=(E) tr[i])

is mentioned

In prior sections: mb hybrid


GenAutomata Sections NuprlLIB Doc