Eekelen. Reasoning About Deterministic Concurrent Functional I/O (2005)

Cached

Download Links

by Malcolm Dowse , Andrew Butterfield
Venue:Proceedings of IFL 2004, volume LNCS3474
Citations:5 - 2 self