Relationships between Models of Concurrency Mogens Nielsen∗

First Page		Document Content
Date: 2000-09-12 07:39:17 Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation Mathematics Theoretical computer science		Relationships between Models of Concurrency Mogens Nielsen∗ Add to Reading List Source URL: www.daimi.au.dk Download Document from Source Website File Size: 2,83 MB Share Document on Facebook

	TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 364, Number 8, August 2012, Pages 4425–4464 SArticle electronically published on March 29, 2012 DocID: 1oIQ7 - View Document
	Commutative closures of regular languages Commutative closures of regular languages DocID: 11TOa - View Document
	L3 Summer internship report Laboratoire Bordelais de Recherche en Informatique June – July 2009 Advisors: Anca Muscholl and Marc Zeitoun DocID: 11SXB - View Document
	Two 2-traces Simon Willerton University of Sheffield Tr& (f ) := DocID: 9sx5 - View Document
	A Gentle Introduction to Type Classes and Relations in Coq Pierre Castéran DocID: 4HTi - View Document