Reasoning About Deterministic Concurrent Functional I/O.

Malcolm Dowse Andrew Butterfield Marko C. J. D. van Eekelen

Published in: IFL (2004)

Keyphrases

input output
concurrent actions
qualitative reasoning
black box
read write
neural network
case study
data structure
main memory
garbage collection
functional analysis