Computer Science – Distributed – Parallel – and Cluster Computing
Scientific paper
2011-08-09
EPTCS 60, 2011, pp. 66-75
Computer Science
Distributed, Parallel, and Cluster Computing
In Proceedings PACO 2011, arXiv:1108.1452
Scientific paper
10.4204/EPTCS.60.5
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.
Bernardo Marco
Loreti Michele
Nicola Rocco de
No associations
LandOfFree
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-69970