Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1397 Culling Concurrency Theory Reusable and trustworthy meta-theory, proof techniques and separation results - Concurrency - Document - PDFSEARCH.IO

First Page	Meta Content
	Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1397 Culling Concurrency Theory Reusable and trustworthy meta-theory, proof techniques and separation results Add to Reading List Document Date: 2016-08-26 07:12:20 Open Document File Size: 764,30 KB Share Result on Facebook

Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1397 Culling Concurrency Theory Reusable and trustworthy meta-theory, proof techniques and separation resultsAdd to Reading List