Logique Dentelle Lace Logic: A programmer’s view of relaxed concurrency Richard Bornat School of Science and Technology Middlesex University, London, UK - Middlesex University - Document - PDFSEARCH.IO

First Page	Meta Content
	Logique Dentelle / Lace Logic: A programmer’s view of relaxed concurrency Richard Bornat School of Science and Technology Middlesex University, London, UK Add to Reading List Document Date: 2013-07-30 10:21:29 Open Document File Size: 388,16 KB Share Result on Facebook

Logique Dentelle / Lace Logic: A programmer’s view of relaxed concurrency Richard Bornat School of Science and Technology Middlesex University, London, UKAdd to Reading List