Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
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 Add to Reading List Source 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 Add to Reading List Source URL: loicpauleve.name - Date: 2014-05-28 10:23:25
3	Synchronisation Patterns for Distributability in Process Calculi πm πs πa Add to Reading List Source 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 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Process calculi Theoretical computer science -calculus State-space representation Mathematics Academia Abstraction
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 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-07-13 11:23:26 Computing Systems science Engineering Multi-agent systems Artificial intelligence Complex systems theory Simulation Ambient calculus Process calculi Agent-based model Ambient intelligence Software agent
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 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-10-02 04:22:36 Process calculi Theoretical computer science Mathematics Software engineering Formal methods -calculus Join-calculus Lambda calculus Ambient calculus Inverse trigonometric functions Calculus Join-pattern
7	Modelling circadian rhythms using stochastic process algebra Jane Hillston. University of Edinburgh. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-06 05:03:26 Statistical randomness PEPA Process calculi Jane Hillston Circadian rhythm Probability Process calculus Scientific modelling Stochastic Academia Statistics
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 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:14 Process calculi Theoretical computer science Mathematical logic Mathematics Lambda calculus -calculus Calculus Combinatory logic Sequent Process calculus
9	Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Abstract data types Computing Software engineering Process calculi Inter-process communication Message queue Monitor Economy Queueing theory Priority queue Queue -calculus
10	Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation