Process calculus

Results: 249



#Item
1Process calculi / Theoretical computer science / Process calculus / Mathematics / -calculus / Calculus / Lambda calculus / Computer science / Actor model and process calculi history / Join-calculus

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
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
      4Probability theory / Stochastic processes / Mathematical analysis / Probability / Brownian motion / It calculus / FeynmanKac formula / Stochastic calculus / Quadratic variation / Lvy process / It diffusion / Wiener process

      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
      5Process calculi / Theoretical computer science / -calculus / State-space representation / Mathematics / Academia / Abstraction

      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
      6Computing / Systems science / Engineering / Multi-agent systems / Artificial intelligence / Complex systems theory / Simulation / Ambient calculus / Process calculi / Agent-based model / Ambient intelligence / Software agent

      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
      7Process calculi / Theoretical computer science / Mathematics / Software engineering / Formal methods / -calculus / Join-calculus / Lambda calculus / Ambient calculus / Inverse trigonometric functions / Calculus / Join-pattern

      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
      8Artificial intelligence / Logic programming / Academia / Decision theory / Game theory / Non-cooperative games / Situation calculus / Nash equilibrium / Zero-sum game / Markov decision process / Strategy / Mathematical optimization

      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
      9Statistical randomness / PEPA / Process calculi / Jane Hillston / Circadian rhythm / Probability / Process calculus / Scientific modelling / Stochastic / Academia / Statistics

      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
      10Mathematical analysis / Statistics / Exponentials / Probability distributions / Economic model / Stochastic process / Exponential function / Process calculus / PEPA / Generalizations of the derivative / Conceptual model / Exponential distribution

      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
      UPDATE