Rate-Based Transition Systems for Stochastic Process Calculi (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Rate-Based Transition Systems for Stochastic Process Calculi (Contributo in atti di convegno) (literal)

Anno

• 2009-01-01T00:00:00+01:00 (literal)

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

• 10.1007/978-3-642-02930-1_36 (literal)

Alternative label

• Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (2009)
  Rate-Based Transition Systems for Stochastic Process Calculi
  in Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Rhodes, greece, July 5-12, 2009
  (literal)

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

• Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (literal)

Pagina inizio

• 435 (literal)

Pagina fine

• 446 (literal)

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

• Automata, Languages and Programming (literal)

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

• 5556 (literal)

Note

• ISI Web of Science (WOS) (literal)
• Scopu (literal)

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

• Dipartimento di Sistemi e Informatica - Universit`a di Firenze; 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 (literal)

Titolo

• Rate-Based Transition Systems for Stochastic Process Calculi (literal)

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

• 978-3-642-02929-5 (literal)

Abstract

• A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defin- ing stochastic behaviour of processes. The transition relation used in our variant associates to each process, for each action, the set of possible futures paired with a measure indicating their rates. We show how RTS can be used for providing the operational semantics of stochastic extensions of classical formalisms, namely CSP and CCS. We also show that our semantics for stochastic CCS guarantees associativity of parallel composition. Similarly, in contrast with the original definition by Priami, we argue that a semantics for stochastic pi-calculus can be provided that guarantees associativity of parallel composition. (literal)

Editore

• Springer-Verlag Berlin (Editore)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)

Insieme di parole chiave

• Keywords of "Rate-Based Transition Systems for Stochastic Process Calculi" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Editore di

• Springer-Verlag Berlin (Editore)

Insieme di parole chiave di

• Keywords of "Rate-Based Transition Systems for Stochastic Process Calculi" (Insieme di parole chiave)