1![Spatial and Epistemic Modalities in Constraint-Based Process Calculi Sophia Knight2 , Catuscia Palamidessi2 , Prakash Panangaden3 , Frank D. Valencia1 ´ CNRS and LIX Ecole Polytechnique de Paris Spatial and Epistemic Modalities in Constraint-Based Process Calculi Sophia Knight2 , Catuscia Palamidessi2 , Prakash Panangaden3 , Frank D. Valencia1 ´ CNRS and LIX Ecole Polytechnique de Paris](https://www.pdfsearch.io/img/e3bfe7b669dc529b1a1013b90fb55f72.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.fr- Date: 2012-06-17 17:48:04
|
---|
2![A Generic Abstract Machine for Stochastic Process Calculi Loïc Paulevé Simon Youssef IRCCyN, UMR CNRS 6597 A Generic Abstract Machine for Stochastic Process Calculi Loïc Paulevé Simon Youssef IRCCyN, UMR CNRS 6597](https://www.pdfsearch.io/img/ad2a96723443dc256682406b96be60a1.jpg) | Add to Reading ListSource URL: loicpauleve.name- Date: 2014-05-28 10:23:25
|
---|
3![Synchronisation Patterns for Distributability in Process Calculi πm πs πa Synchronisation Patterns for Distributability in Process Calculi πm πs πa](https://www.pdfsearch.io/img/9374d5f671ac50a0de3a2f15ddce7998.jpg) | Add to Reading ListSource URL: www.ips.tu-braunschweig.de- Date: 2013-08-13 02:41:33
|
---|
4![Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2 Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2](https://www.pdfsearch.io/img/9ddde9f9d3e115837dedf9f4e0657820.jpg) | Add to Reading ListSource URL: www.edsko.netLanguage: English - Date: 2016-08-23 03:13:56
|
---|
5![Rigorous Development of Ambient Campus Applications that can Recover from Errors Budi Arief, Alexei Iliasov, and Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE Rigorous Development of Ambient Campus Applications that can Recover from Errors Budi Arief, Alexei Iliasov, and Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE](https://www.pdfsearch.io/img/5958f9d097e42d7ecaa1ee2c41fd0049.jpg) | Add to Reading ListSource URL: rodin.cs.ncl.ac.ukLanguage: English - Date: 2007-07-13 11:23:26
|
---|
6![In Cabernet Radicals Workshop, October 2002 http://www.wischik.com/lu/research/ New directions in implementing the pi calculus Lucian Wischik, University of Bologna 30th August 2002 In Cabernet Radicals Workshop, October 2002 http://www.wischik.com/lu/research/ New directions in implementing the pi calculus Lucian Wischik, University of Bologna 30th August 2002](https://www.pdfsearch.io/img/b64ce060504d992257d9aaf8311d4bd4.jpg) | Add to Reading ListSource URL: www.wischik.comLanguage: English - Date: 2002-10-02 04:22:36
|
---|
7![Modelling circadian rhythms using stochastic process algebra Jane Hillston. University of Edinburgh. Modelling circadian rhythms using stochastic process algebra Jane Hillston. University of Edinburgh.](https://www.pdfsearch.io/img/eae240a461fc91bd43a10d468123369b.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2010-12-06 05:03:26
|
---|
8![To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999 To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999](https://www.pdfsearch.io/img/d31858d8ff7ed72618e8f80879a21430.jpg) | Add to Reading ListSource URL: www.wischik.comLanguage: English - Date: 2001-08-20 15:53:14
|
---|
9![Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt](https://www.pdfsearch.io/img/b07b8d47191302ac89f55ef77225f7d4.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2016-01-24 20:37:43
|
---|
10![Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh](https://www.pdfsearch.io/img/255e210d070bd42e1a399f925ed8a697.jpg) | Add to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:01
|
---|