GenAutomata Sections NuprlLIB Doc

Def tr delivered at p == filter(e.is-send(E)(e)loc(E)(e) = p;tr)

is mentioned

In prior sections: mb hybrid


GenAutomata Sections NuprlLIB Doc