Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey

First Page		Document Content
Date: 2015-01-05 15:36:49 Algebra Abstract algebra Mathematics Semigroup theory Monoid Monad Separation logic Invariant Modal logic Free monoid Syntactic monoid		Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey Add to Reading List Source URL: plv.mpi-sws.org Download Document from Source Website File Size: 414,97 KB Share Document on Facebook

	The Most General Conservation Law for a Cellular Automaton Enrico Formenti1? , Jarkko Kari2?? , and Siamak Taati32 1 Universit´e de Nice-Sophia Antipolis, D´epartment d’Informatique, DocID: 1rqpP - View Document
	Product systems over Ore monoids DocID: 1rcVf - View Document
	Product systems over Ore monoids DocID: 1q9Gf - View Document
	Maximal subgroups of free idempotent generated semigroups York Semigroup 28th January 2015 DocID: 1q7xI - View Document
	Categories and their Algebra James A. Overton September 13, 2005 Abstract The goal if this paper is to introduce the notion of a category, along with some basic results, and then to explore work done by Bret Tilson in hi DocID: 1pmw8 - View Document