A fully abstract semantics for dataflow nets (1987)

by J Kok
Venue:In Proceedings of PARLE