Modelling deterministic concurrent I/O (2006)

by M Dowse, A Butterfield
Venue:In ICFP ’06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming