Robin Milner – Verification, Languages, and Concurrency Andrew D. Gordon, Microsoft Research Robert Harper, Carnegie Mellon University John Harrison, Intel Corporation Alan Jeffrey, Bell Labs - Andrew Milner - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-10-18 12:40:33		Robin Milner – Verification, Languages, and Concurrency Andrew D. Gordon, Microsoft Research Robert Harper, Carnegie Mellon University John Harrison, Intel Corporation Alan Jeffrey, Bell Labs Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 291,74 KB Share Document on Facebook