Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
1	A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-05-22 10:50:40 Process calculi Theoretical computer science Process calculus Mathematics -calculus Calculus Lambda calculus Computer science Actor model and process calculi history Join-calculus
2	A Process Calculus Analysis of Compensations Lu´ıs Caires Carla Ferreira Hugo Vieira Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-12-27 16:57:55
3	WS-FM 2004 Preliminary Version A Process Calculus of Atomic Commit Laura Bocchi 1 Lucian Wischik 2 Department of Computer Science University of Bologna, Italy Add to Reading List Source URL: www.wischik.com - Date: 2004-02-26 12:15:18
4	8 Brownian motion and Itô calculus Brownian motion is a continuous analogue of simple random walks (as described in the previous part), which is very important in many practical applications. This importance has its ori Add to Reading List Source URL: www.cmap.polytechnique.fr Language: English - Date: 2012-10-05 03:43:56 Probability theory Stochastic processes Mathematical analysis Probability Brownian motion It calculus FeynmanKac formula Stochastic calculus Quadratic variation Lvy process It diffusion Wiener process
5	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
6	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
7	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
8	I N F S Y S R E S E A R C H R Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2007-04-14 17:36:30 Artificial intelligence Logic programming Academia Decision theory Game theory Non-cooperative games Situation calculus Nash equilibrium Zero-sum game Markov decision process Strategy Mathematical optimization
9	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
10	An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations Alireza Pourranjbar, Jane Hillston School of Informatics, University of Edinburgh 10th December 2013 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-12-16 05:45:52 Mathematical analysis Statistics Exponentials Probability distributions Economic model Stochastic process Exponential function Process calculus PEPA Generalizations of the derivative Conceptual model Exponential distribution