SIGPLAN Conference Proceedings template

First Page		Document Content
Date: 2008-10-07 03:17:07 Aerospace engineering Spacecraft design Communicating sequential processes Modeling language Generic Modeling Environment Formal methods System Software development methodology NEAR Shoemaker Spaceflight Spacecraft Systems engineering		SIGPLAN Conference Proceedings template Add to Reading List Source URL: www.dsmforum.org Download Document from Source Website File Size: 723,67 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