eprintid: 2707
rev_number: 6
eprint_status: archive
userid: 69
dir: disk0/00/00/27/07
datestamp: 2015-06-15 09:27:55
lastmod: 2015-06-15 09:27:55
status_changed: 2015-06-15 09:27:55
type: article
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_name: Latella, Diego
creators_name: Loreti, Michele
creators_name: Massink, Mieke
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: A uniform definition of stochastic process calculi
ispublished: pub
subjects: QA
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Combinatorics; Probability and statistics; Models of computation
abstract: We introduce a unifying framework to provide the semantics of process algebras, including their quantitative variants useful for modeling quantitative aspects of behaviors. The unifying framework is then used to describe some of the most representative stochastic process algebras. This provides a general and clear support for an understanding of their similarities and differences. The framework is based on State to Function Labeled Transition Systems, FuTSs for short, that are state transition structures where each transition is a triple of the form (s,α,
date: 2013-10
date_type: published
publication: ACM Computing Surveys
volume: 46
number: 1
publisher: ACM
pagerange: 1-35
id_number: 10.1145/2522968.2522973
refereed: TRUE
issn: 0360-0300
official_url: http://dl.acm.org/citation.cfm?id=2522973
citation:   De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke  A uniform definition of stochastic process calculi.  ACM Computing Surveys, 46 (1).  pp. 1-35.  ISSN 0360-0300      (2013)