Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

We introduce a probabilistic extension of KLAIM, where the behaviour of networks and individual nodes is determined by a probabilistic scheduler for processes and probabilistic allocation environments which describe the logical neighbourhood of each node. The resulting language has two variants which are modelled respectively as discrete and continuous time Markov processes. We suggest that Poisson processes are a natural probabilistic model for the coordination of discrete processes asynchronously communicating in continuous time and we use them to define the operational semantics of the continuous time variant. This framework allows for the implementation of networks with independent clocks on each site.

Coordination Models and Languages, LNCS 2949, pages 119-134, 2004.
Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.), Springer Berlin / Heidelberg
6th International Conference (COORDINATION 2004), 24-27 February 2004, Pisa, Italy
Author = {Di Pierro, Alessandra and Hankin, Chris and Wiklicky, Herbert},
Booktitle = {Coordination Models and Languages},
Doi = {10.1007/978-3-540-24634-3_11},
Editor = {De Nicola, Rocco and Ferrari, Gian-Luigi and Meredith, Greg},
Isbn = {978-3-540-21044-3},
Issn = {0302-9743},
Note = {6th International Conference (COORDINATION 2004), 24-27~} # feb # {~2004, Pisa, Italy},
Pages = {119--134},
Publisher = {Springer Berlin / Heidelberg},
Series = {LNCS},
Title = {Probabilistic {KLAIM}},
Url = {},
Volume = 2949,
Year = 2004}



Probabilistic KLAIM

— status


— authors

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

— editors

Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith

URLs & IDs

original page
original PDF



— print ISSN


— print ISBN



— BibTeX ID
— BibTeX category

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY