GenAutomata Sections NuprlLIB Doc

Def Tag-by-msg(E)(tr) == i,j:||tr||. (tr[i] =msg=(E) tr[j]) tag(E)(tr[i]) = tag(E)(tr[j])

is mentioned

In prior sections: mb hybrid


GenAutomata Sections NuprlLIB Doc