Full abstraction for nondeterministic data ow networks (1989)

by J Russell
Venue:In: Proc. FoCS'89, IEEE Computer Science