From a Concurrency Course to Automatic Verification of Process Equivalences Bruno Blanchet ´ INRIA, Ecole Normale Sup´ - Blanchet - Document - PDFSEARCH.IO

First Page	Meta Content
	From a Concurrency Course to Automatic Verification of Process Equivalences Bruno Blanchet ´ INRIA, Ecole Normale Sup´ Add to Reading List Document Date: 2012-10-01 07:25:56 Open Document File Size: 998,62 KB Share Result on Facebook

From a Concurrency Course to Automatic Verification of Process Equivalences Bruno Blanchet ´ INRIA, Ecole Normale Sup´Add to Reading List