eprintid: 794
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/07/94
datestamp: 2011-08-11 08:37:32
lastmod: 2011-09-27 13:11:38
status_changed: 2011-08-11 08:37:32
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Bernardo, Marco
creators_name: De Nicola, Rocco
creators_name: Loreti, Michele
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi
ispublished: pub
subjects: QA
subjects: QA75
divisions: CSA
full_text_status: public
note: Proceedings First International Workshop on Process Algebra and Coordination, Reykjavik, Iceland, 9th June 2011
abstract: Labeled transition systems are typically used to represent the behavior of nondeterministic processes, with labeled transitions defining a one-step state to-state reachability relation. This model has been recently made more general by modifying the transition relation in such a way that it associates with any source state and transition label a reachability distribution, i.e., a function mapping each possible target state to a value of some domain that expresses the degree of one-step reachability of that target state. In this extended abstract, we show how the resulting model, called ULTraS from Uniform Labeled Transition System, can be naturally used to give semantics to a fully nondeterministic, a fully probabilistic, and a fully stochastic variant of a CSP-like process language. 
date: 2011
date_type: published
publication: Electronic Proceedings in Theoretical Computer Science
volume: 60
publisher: Open Publishing Association
pagerange: 66-75
id_number: 10.4204/EPTCS.60.5
refereed: TRUE
issn: 2075-2180
official_url: http://arxiv.org/PS_cache/arxiv/pdf/1108/1108.1865v1.pdf
citation:   Bernardo, Marco and De Nicola, Rocco and Loreti, Michele  Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi.  Electronic Proceedings in Theoretical Computer Science, 60.  pp. 66-75.  ISSN 2075-2180      (2011)  
document_url: http://eprints.imtlucca.it/794/1/EPTCS_2011.pdf