Full abstraction for nondeterministic dataflow networks (1989)

by J Russell
Venue:In: FoCS ’89. IEEE Computer Science Press