Probabilistic KLAIM


Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)
Coordination Models and Languages, pages 119-134
LNCS 2949
Springer Berlin / Heidelberg
2004

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.

Tags:

Publication

— authors

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

— editors

Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith

— status

published

— sort

paper in proceedings

— publication date

2004

— volume

Coordination Models and Languages

— series

LNCS

— volume

2949

— pages

119-134

URLs

original page  |  original PDF

identifiers

— DOI

10.1007/978-3-540-24634-3_11

— print ISSN

0302-9743

— print ISBN

978-3-540-21044-3

notes

— note

6th International Conference (COORDINATION 2004), 24-27 February 2004, Pisa, Italy

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY