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

	Prototyping a Concurrency Model Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/ DocID: 1mNxt - View Document
	Communicating Sequential Processes C. A. R. Hoare June 21, 2004 DocID: 1mygs - View Document
	Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages DocID: 1jpI3 - View Document
	Connecting Viewpoints by Shared Phenomena Michael Jackson AT&T Research Murray Hill NJ and MAJ Consulting Ltd 101 Hamilton Terrace London NW8 9QY England DocID: 18KmT - View Document
	A Compositional Approach to Active and Passive Components Kung-Kiu Lau and Ioannis Ntalamagkas School of Computer Science, The University of Manchester Manchester M13 9PL, UK {kung-kiu,i.ntalamagkas}@cs.manchester.ac.uk DocID: 18HsD - View Document