Full abstraction for nondeterministic dataflow networks (1989)

by James R Russell
Venue:In Foundations of Computer Science, 1989., 30th Annual Symposium on