http://www.cnr.it/ontology/cnr/individuo/prodotto/ID175173

Combining timed coordination primitives and probabilistic tuple spaces (Contributo in volume (capitolo o saggio))

Type

Label

Combining timed coordination primitives and probabilistic tuple spaces (Contributo in volume (capitolo o saggio)) (literal)

Anno

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

Alternative label

Mario Bravetti; Diego Latella; Michele Loreti; Mieke Massink; Gianluigi Zavattaro (2009)
Combining timed coordination primitives and probabilistic tuple spaces
Springer-Verlag, Berlin (Germania) in Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers, 2009
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Mario Bravetti; Diego Latella; Michele Loreti; Mieke Massink; Gianluigi Zavattaro (literal)

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

Department of Computer Science, University of Bologna, Italy; Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\"- CNR; Dipartimento di Sistemi e Informatica - Universit`a di Firenze; Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\"- CNR; Department of Computer Science, University of Bologna, Italy; (literal)

Titolo

Combining timed coordination primitives and probabilistic tuple spaces (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

Abstract

In this paper we present an integration of PLinda, a probabilistic extension of Linda, and StoKLAIM, a stochastic extension of KLAIM. In the resulting language, StoPKLAIM, the execution time of coordination primitives is modeled by means of exponentially distributed random variables, as in StoKLAIM, the choice of the primitive to be executed among conflicting ones is thus resolved by the race condition principle, and the choice of the tuple to be retrieved by a single input/read operation in case of multiple matching tuples is governed by the weight-based probabilistic access policy of PLinda. The language represents a natural development and integration of previous results of the SENSORIA Project in the area of probabilistic and time-stochastic extensions of Tuple Space based coordination languages. The formal operational semantics of StoPKLAIM is presented and an example of modeling is provided. (literal)

Editore