J.I. den Hartog, E.P. de Vink  Home/Search
Context Related
| cs.bham.ac.uk/~mzk/probm...denhartog.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bham.ac.uk/~mzk/probmiv/pre... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: For a process language with both nondeterministic and probabilistic choice and a form of failure a transition system is given from which, in a modular way, various operational models corresponding to various interpretations of nondeterminism and probability can be obtained. The effect of failure of one component for the system as a whole is treated differently in each interpretation. The same approach is followed for an extension of the language with a parallel operator. The adopted concurrency ... (Update)
Context of citations to this paper: More
...within a single framework. Here we propose a notion of bisimulation for the process language that applies to all the models given in [12]. On the one hand the presented process equivalence specializes to classical Park Milner bisimulation [22, 20] when considering non...
...is on the probability that the process in question acts like one branch or the other from the choices listed. approaches such as [20, 4, 8] that extend a process algebra by adding probabilistic choice operators. If the branches have distinct initial actions, then the focus...
Cited by: More
Nondeterminism and Probabilistic Choice: Obeying the Laws - Mislove (2000) (Correct)
Taking Chances on || and fail: Extending Strong and.. - den Hartog, de Vink (Correct)
Similar documents (at the sentence level):
77.2%: Mixing Up Nondeterminism and Probability: a preliminary report - den Hartog, de Vink (1999) (Correct)
Active bibliography (related documents): More All
0.4: Bisimulation for Probabilistic Transition Systems: A.. - de Vink, Rutten (1998) (Correct)
0.3: Comparative Semantics for a Process Language With Probabilistic .. - den Hartog (1998) (Correct)
0.1: Bisimulation for Labelled Markov Processes - Desharnais, Edalat, Panangaden (1999) (Correct)
Similar documents based on text: More All
0.4: Building Metric Structures with the Meas-Functor - den Hartog, de Vink (Correct)
0.2: Full Abstractness of an Interleaving Semantics for.. - den Hartog, de Vink.. (1998) (Correct)
0.2: Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) (Correct)
Related documents from co-citation: More All
2: Bisimulation for probabilistic transition systems: a coalgebraic approach - de Vink, Rutten - 1998
2: Bisimulation through probabilistic testing (context) - Larsen, Skou - 1989
2: Probabilistic simulations for probabilistic processes - Segala, Lynch - 1994
BibTeX entry: (Update)
J.I. den Hartog and E.P. de Vink. Mixing up nondeterminism and probability: A preliminary report. In Proc. Probmiv'98, pages 169--184. University of Birmingham, 1998. http://citeseer.ist.psu.edu/article/denhartog98mixing.html More
@misc{ hartog98mixing,
author = "J. den Hartog and E. de Vink",
title = "Mixing up nondeterminism and probability: A preliminary report",
text = "J.I. den Hartog and E.P. de Vink. Mixing up nondeterminism and probability:
A preliminary report. In Proc. Probmiv'98, pages 169--184. University of
Birmingham, 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/article/denhartog98mixing.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
247 Bisimulation through probabilistic testing (context) - Larsen, Skou - 1991
174 Probabilistic simulations for probabilistic processes - Segala, Lynch - 1994
93 A probabilistic powerdomain of evaluations (context) - Jones, Plotkin - 1989
90 Modeling and Verification of Randomized Distributed Real-Tim.. (context) - Segala - 1995
57 Axiomatizing probabilistic processes: ACP with generative pr.. (context) - Bergstra, Smolka - 1995
50 Bisimulation for labelled Markov processes - Blute, Desharnais et al. - 1997
45 Probabilistic communicating processes (context) - Seidel - 1995
41 Probabilistic models for the guarded command language - Jifeng, McIver et al.
32 generative and stratified models of probabilistic processes (context) - van Glabbeek, Smolka et al. - 1995
26 Domain equations for probabilistic processes - Baier, Kwiatkowska - 1997
22 Control Flow Semantics (context) - de Bakker, de Vink - 1996
21 Contractions in comparing concurrency semantics (context) - Kok, Rutten - 1990
20 Probabilistic metric semantics for a simple language with re.. - Kwiatkowska, Norman - 1996
16 Bisimulation for probabilistic transition systems: a coalgeb.. - de Vink, Rutten - 1997
14 A Stochastic Automata Model and its Algebraic Approach - D'Argenio, Katoen et al. - 1995
13 Process algebra with partial choice (context) - Baeten, Bergstra - 1994
13 Domain theory and integration - Edalat - 1995
7 Representing nondeterminism and probabilistic behaviour in r.. - Lowe - 1993
6 Algebraic reasoning for probabilisitic concurrent systems (context) - Giacalone, Jou et al. - 1990
2 Comparative semantics for a process language with probabilis.. - den Hartog - 1998
2 Composition and behaviors of probabilistic I/O automata (context) - Wu, Smolka et al. - 1997
Documents on the same site (http://www.cs.bham.ac.uk/~mzk/probmiv/prelproc98/): More
Randomized OBDDs and Model Checking - Karpinski (Correct)
On the semantic foundations of Probabilistic VERUS - Baier, Clarke.. (1998) (Correct)
Computing Probability Lower and Upper Bounds for Formulae over.. - Baier (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC