Probabilistic KLAIM
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
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. |
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | entries | manuals | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
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
identifiers
— DOI
— print ISSN
0302-9743
— print ISBN
978-3-540-21044-3
notes
— note
6th International Conference (COORDINATION 2004), 24-27 February 2004, Pisa, Italy