<--- Back to Details
First PageDocument Content
Concurrency / Software engineering / Actor model / Communicating sequential processes / Thread / Algorithm / Parallel computing / Communications protocol / Mathematics / Computing / Concurrent computing / Process calculi
Date: 2004-06-21 06:17:39
Concurrency
Software engineering
Actor model
Communicating sequential processes
Thread
Algorithm
Parallel computing
Communications protocol
Mathematics
Computing
Concurrent computing
Process calculi

Add to Reading List

Source URL: www.usingcsp.com

Download Document from Source Website

File Size: 1,22 MB

Share Document on Facebook

Similar Documents

Computing / Parallel computing / Computer programming / Software engineering / SCOOP / File locking / Communicating sequential processes

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

Process calculi / Calculus of communicating systems / Bisimulation / Robin Milner / Alcatel-Lucent / Q0 / Transition system / Communicating sequential processes / Bell Labs / Lucent

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

Systems engineering / Software development process / Communicating sequential processes / Concurrent computing / Phenomenon / Domain / Software development methodology / Requirement / Problem frames approach / Software development / Software / Software requirements

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

Software architecture / Electronics / Communicating sequential processes / Process calculi / Electrical components / Passivity / Wright / Component-based software engineering / JCSP / Computing / Software engineering / Concurrent computing

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