Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (Technical Appendix) Ralf Jung MPI-SWS - Orthogonal basis - Document - PDFSEARCH.IO

First Page	Meta Content
	Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (Technical Appendix) Ralf Jung MPI-SWS & Saarland University Add to Reading List Document Date: 2015-02-02 12:34:52 Open Document File Size: 670,79 KB Share Result on Facebook

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (Technical Appendix) Ralf Jung MPI-SWS & Saarland University Add to Reading List