Nuprl - GenAutomata Citations of delivered before somewhere

Def x somewhere delivered before y ==

||tr||. x delivered at time k & (

k':

||tr||. y delivered at time k'

loc(E)(tr[k']) = loc(E)(tr[k])

k')

is mentioned

In prior sections: mb hybrid