StoKlaim: A Stochastic Extension of Klaim


Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" (ISTI)
CNR-ISTI 2006-TR-01
2006

Global (or network-aware) computing entails large-scale networks of computers performing tasks in a cooperative and coordinated manner. Programming and modeling languages such as Klaim focus on key functional aspects of global computing such as distribution awareness, (code and agent) mobility, and privacy aspects. This paper instead concentrates on their performance and dependability aspects. It proposes StoKlaim, an extension of Klaim which permits the description of random phenomena such as spontaneous computer crashes and spurious network hick ups. The operational semantics of StoKlaim is based on continuous- time Markov chains. The approach is illustrated by modeling the spreading of a virus through a network.

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

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

Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink

— status

published

— sort

technical report

— publication date

2006

— series

CNR-ISTI

— issue

2006-TR-01

— institution

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" (ISTI)

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