Full abstraction for nondeterministic dataflow networks (1989)

by J Russel
Venue:In Proc. 30th IEEE Symposium on Foundations of Computer Science