Prototyping a Concurrency Model Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/

Source URL: se.inf.ethz.ch

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

Communicating Sequential Processes C. A. R. Hoare June 21, 2004

Source URL: usingcsp.com

Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages

Source URL: ect.bell-labs.com

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

Connecting Viewpoints by Shared Phenomena Michael Jackson AT&T Research Murray Hill NJ and MAJ Consulting Ltd 101 Hamilton Terrace London NW8 9QY England

Source URL: mcs.open.ac.uk

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

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

Source URL: www.cs.man.ac.uk

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

Component-based Construction of Concurrent Systems with Active Components Kung-Kiu Lau and Ioannis Ntalamagkas School of Computer Science, The University of Manchester Manchester M13 9PL, UK {kung-kiu,i.ntalamagkas}@cs.m

Source URL: www.cs.man.ac.uk

• Concurrent computing
• Process calculi
• Communicating sequential processes
• Wright
• Electrical connector
• TRS connector
• System
• Component-based software engineering
• Software engineering
• Software architecture
• Computing

A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate

Source URL: wcl.cs.rpi.edu

• Computing
• Ambient calculus
• Π-calculus
• Process calculus
• Actor model
• Calculus
• Lambda calculus
• Communicating sequential processes
• Combinatory logic
• Process calculi
• Computer science
• Applied mathematics

Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany

Source URL: www.cs.kun.nl

• Logic in computer science
• Formal methods
• Concurrent computing
• Cross-platform software
• Process calculi
• Communicating sequential processes
• Runtime verification
• Actor model
• Process calculus
• Computing
• Theoretical computer science
• Software engineering

Experience Teaching a Semester-Long Inferno Course Phillip Stanley-Marbell Carnegie Mellon University Pittsburgh, PAABSTRACT

Source URL: lsub.org

• Inferno
• Virtual machines
• Concurrent computing
• Inter-process communication
• Limbo
• Communicating sequential processes
• Dis virtual machine
• Channel
• Charon
• Computing
• System software
• Software

Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si

Source URL: research.meolic.com

• M2
• Communicating sequential processes
• Money
• Money supply
• M1
• Process calculus
• Calculus of communicating systems
• Μ operator
• Process calculi
• Economics
• Macroeconomics