Modelling deterministic concurrent I/O.

Malcolm Dowse Andrew Butterfield

Published in: ICFP (2006)

Keyphrases

input output
black box
spatial join
read write
real world
website
file system
mutual exclusion