1![Prototyping a Concurrency Model Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/ Prototyping a Concurrency Model Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/](https://www.pdfsearch.io/img/6171a0b19618dbe710615e63953cce97.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2013-09-06 13:17:31
|
---|
2![Communicating Sequential Processes C. A. R. Hoare June 21, 2004 Communicating Sequential Processes C. A. R. Hoare June 21, 2004](https://www.pdfsearch.io/img/9b5093c1df77b6eeb30d91e445a77ed0.jpg) | Add to Reading ListSource URL: usingcsp.comLanguage: English - Date: 2004-06-21 06:17:39
|
---|
3![Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages](https://www.pdfsearch.io/img/dcfc5699385aaa1d18dda459e7345685.jpg) | Add to Reading ListSource URL: ect.bell-labs.comLanguage: English - Date: 2011-01-28 15:15:59
|
---|
4![Connecting Viewpoints by Shared Phenomena Michael Jackson AT&T Research Murray Hill NJ and MAJ Consulting Ltd 101 Hamilton Terrace London NW8 9QY England Connecting Viewpoints by Shared Phenomena Michael Jackson AT&T Research Murray Hill NJ and MAJ Consulting Ltd 101 Hamilton Terrace London NW8 9QY England](https://www.pdfsearch.io/img/2bb67b04c769a8daa8b39dc5a27f9f4a.jpg) | Add to Reading ListSource URL: mcs.open.ac.ukLanguage: English - Date: 2002-04-21 09:42:22
|
---|
5![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 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](https://www.pdfsearch.io/img/6aab926698fb7c85034282500a357cac.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2008-10-31 07:51:28
|
---|
6![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 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](https://www.pdfsearch.io/img/7df9e660bce4ec5c36ed19332d8835ed.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2009-07-17 12:04:09
|
---|
7![A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate](https://www.pdfsearch.io/img/d14dc587b53f2220e7ead3d7ee27061b.jpg) | Add to Reading ListSource URL: wcl.cs.rpi.eduLanguage: English - Date: 2015-01-22 12:33:50
|
---|
8![Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany](https://www.pdfsearch.io/img/2cf3c5e3e0dd03fde50cf47a72e53b74.jpg) | Add to Reading ListSource URL: www.cs.kun.nlLanguage: English - Date: 2002-05-29 03:53:26
|
---|
9![Experience Teaching a Semester-Long Inferno Course Phillip Stanley-Marbell Carnegie Mellon University Pittsburgh, PAABSTRACT Experience Teaching a Semester-Long Inferno Course Phillip Stanley-Marbell Carnegie Mellon University Pittsburgh, PAABSTRACT](https://www.pdfsearch.io/img/c621c02b775a573acf1019cb96e51fc7.jpg) | Add to Reading ListSource URL: lsub.orgLanguage: English - Date: 2014-05-08 11:33:13
|
---|
10![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 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](https://www.pdfsearch.io/img/3bcbe1dd450d85947cc2712e5a6a99ef.jpg) | Add to Reading ListSource URL: research.meolic.comLanguage: English - Date: 2013-12-04 04:28:45
|
---|