Safe Parallelism for Robotic Control Matthew C. Jadud Christian L. Jacobsen, Carl G. Ritson, Jonathan Simpson Allegheny College

First Page		Document Content
Date: 2010-10-21 16:45:43 University of Kent Programming language implementation Procedural programming languages Virtual machines Concurrent computing Occam Transterpreter Transputer Communicating sequential processes Computing Software engineering Computer programming		Safe Parallelism for Robotic Control Matthew C. Jadud Christian L. Jacobsen, Carl G. Ritson, Jonathan Simpson Allegheny College Add to Reading List Source URL: www.transterpreter.org Download Document from Source Website File Size: 274,12 KB 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