Modelling deterministic concurrent I/O (2006)

by Malcolm Dowse, Andrew Butterfield
Venue:In Int’l Conf. on Funct. Prog. (ICFP