<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi"^^ . "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. "^^ . "2011" . . "60" . . "Open Publishing Association"^^ . . . "Electronic Proceedings in Theoretical Computer Science"^^ . . . "20752180" . . . . . . . . . . . . . "Marco"^^ . "Bernardo"^^ . "Marco Bernardo"^^ . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . . "Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi (PDF)"^^ . . . . . . . . . . . "EPTCS_2011.pdf"^^ . . . "Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #794 \n\nUniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi\n\n" . "text/html" . . . "QA Mathematics"@en . . . "QA75 Electronic computers. Computer science"@en . .