See this document in CiteSeerX!

Probability, Nondeterminism and Concurrency: Two Denotational Models for Probabilistic Computation (2003)  (Make Corrections)  
Daniele Varacca



  Home/Search   Context   Related

 
View or download:
brics.dk/DS/Ref/BR...ICSDS0314.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  brics.dk/DS/Ref/BR...BRICSDSRef (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Nondeterminism is modelled in domain theory by the notion of a powerdomain, while probability is modelled by that of the probabilistic powerdomain. Some problems arise when we want to combine them in order to model computation in which both nondeterminism and probability are present. In particular there is no categorical distributive law between them. We introduce the powerdomain of indexed valuations which modifies the usual probabilistic powerdomain to take more detailed account of where... (Update)

Active bibliography (related documents):   More   All
2.0:   Basic Research in Computer Science - Probabilistic Event Structures   (Correct)
0.8:   The Powerdomain of Indexed Valuations - Daniele Varacca Brics (2002)   (Correct)
0.8:   Axioms for Probability and Nondeterminism - Mislove, Ouaknine, Worrell (2003)   (Correct)

Similar documents based on text:   More   All
0.2:   Domain Equations for Probabilistic Processes - Baier, Kwiatkowska (1997)   (Correct)
0.1:   Semantic Domains for Combining Probability and Non-Determinism - Tix, Keimel, Plotkin (2005)   (Correct)
0.1:   Semantics of Name and Value Passing - Fiore, Turi (2001)   (Correct)

BibTeX entry:   (Update)

@misc{ varacca-probability,
  author = "Daniele Varacca",
  title = "Probability, Nondeterminism and Concurrency: Two Denotational Models for
    Probabilistic Computation",
  url = "citeseer.ist.psu.edu/varacca03probability.html" }
Citations (may not include all citations):
1933   Communication and Concurrency (context) - Milner - 1989  ACM
718   Distributed Algorithms (context) - Lynch - 1995  ACM
369   Information and Computation (context) - Moggi, computation - 1991  DBLP
302   The semantics of simple language for parallel programming (context) - Kahn - 1974  DBLP
291   Markov decision processes : discrete stochastic dynamic prog.. (context) - Puterman - 1994
236   Categories for the working mathematician (context) - MacLane - 1971
194   The Formal Semantics of Programming Languages (context) - Winskel - 1993  ACM
174   Probabilistic simulations for probabilistic processes - Segala, Lynch - 1994
168   Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981  ACM
167   Quantum Computation and Quantum Information (context) - Nielsen, Chuang - 2000  ACM
146   A powerdomain construction (context) - Plotkin - 1976  ACM   DBLP
136   Time and Probability in Formal Design of Distributed systems (context) - Hansson - 1991  ACM
128   Automatic verification of probabilistic concurrent finitesta.. (context) - Vardi - 1985
125   Event structures (context) - Winskel - 1987  ACM   DBLP
109   Continuous lattices (context) - Scott - 1972
107   Coroutines and networks of parallel processes (context) - Kahn, MacQueen - 1977  DBLP
91   A calculus for communicating systems with time and probabili.. (context) - Hansson, Jonsson - 1989
90   Modeling and Verification of Randomized Distributed Real-Tim.. (context) - Segala - 1995  ACM
83   Probabilistic Non-determinism (context) - Jones - 1990  ACM
83   Powerdomains and predicate transformers: a topological view (context) - Smyth - 1983
76   Towards a mathematical semantics for computer languages (context) - Scott, Strachey - 1971
75   Semantics of probabilistic programs (context) - Kozen - 1981  DBLP
73   Algebraic reasoning for probabilistic concurrent systems - Giacalone, Jou et al. - 1990
73   Topology via Logic (context) - Vickers - 1996  ACM
72   Journal of Computer and Systems Sciences (context) - Smyth - 1978
65   Universal Algebra (context) - Cohn - 1981
52   Information and Control (context) - Rabin - 1963
50   Bisimulation for labelled markov processes - Blute, Desharnais et al. - 1997  ACM   DBLP
49   Prism: Probabilistic symbolic model checker - Kwiatkowska, Norman et al. - 2002  DBLP
48   measures and fractals via domain theory (context) - Edalat - 1995
46   Initial algebra and final coalgebra semantics for concurrenc.. - Rutten, Turi - 1994  ACM   DBLP
45   American Mathematical Society (context) - Birkho, theory - 1967
45   Probabilistic communicating processes (context) - Seidel - 1995  ACM   DBLP
44   Theoretical Computer Science (context) - Edalat, integration - 1995
38   Event structure semantics for CCS and related languages (context) - Winskel - 1982  ACM   DBLP
35   Domain Theory and the Logic of Observable Properties (context) - Abramsky - 1987
32   Lecture notes in cryptography - Goldwasser, Mihir - 1999
27   Events in security protocols - Crazzolara, Winskel - 2001  ACM   DBLP
27   Probabilistic extensions of process algebras - Jonsson, Larsen et al. - 2001
27   A logical characterization of bisimulation for labeled marko.. - Desharnais, Edalat et al. - 1998
26   University of Edinburgh (context) - Winskel, Computation et al. - 1980
26   Quantitative and Qualitative Extensions of Event Structures (context) - Katoen - 1996
23   and stratified models of probabilistic processes (context) - van Glabbeek, generative - 1990
22   Bisimulation through probabilistic testing (context) - Larsen, Skou - 1991  ACM   DBLP
22   Distributive laws (context) - Beck - 1969
22   Domain theory (context) - Abramsky, Jung - 1994
20   ACM Transactions on Programming Languages and Systems (context) - Kobayashi, Pierce et al. - 1999
19   Formal Verification of Probabilistic Systems (context) - de Alfaro - 1997
18   Fully abstract models of typed lambda-calculus (context) - Milner - 1977
17   Correspondence between operational and denotational semantic.. - Luke - 1995  ACM
15   Probabilities and Priorities in Timed CSP (context) - Lowe - 1993
14   Trace theory (context) - Mazurkiewicz - 1986  ACM   DBLP
14   Technische Hochschule Darmstadt (context) - Kirch, Bewertungen - 1993
13   Compositional methods for probabilistic systems - de Alfaro, Henzinger et al. - 2001  ACM   DBLP
13   Petri nets: Basic notions (context) - Rozenberg, Thiagarajan - 1986
12   Metrics for labeled markov systems - Desharnais, Gupta et al. - 1999  ACM   DBLP
11   Nondeterminism and probabilistic choice: Obeying the law - Mislove - 2000
11   Information and Computation (context) - Martin, Hyland et al. - 2000  DBLP
10   Notions of computation determine monads - Plotkin, Power - 2002  ACM   DBLP
10   Probabilistic asynchronous #-calculus - Herescu, Palamidessi - 2000
10   The troublesome probabilistic powerdomain - Jung, Tix - 1998  DBLP
10   Axiomatizations for probabilistic bisimulation (context) - Bandini, Segala - 2001
8   Theoretical Computer Science (context) - Kahn, Plotkin - 1993  ACM
8   University of Edinburgh (context) - Plotkin - 1983
8   A hierarchy of probabilistic system types - Bartels, Sokolova et al. - 2003  DBLP
7   Randomized non-sequential processes (context) - Volzer - 2001  ACM   DBLP
7   Mathematical Structures in Computer Science (context) - Baier, Kwiatkowska et al. - 2000
7   Archiv fur Mathematische Logik und Grundlagenforschung (context) - Gautam, of et al. - 1957
6   Information and Computation (context) - Pnueli, Zuck - 1993  DBLP
6   ects: Commutativity and sum (context) - Martin, Hyland et al. - 2002
5   The powerdomain of indexed valuations - Varacca - 2002  ACM   DBLP
5   Bulletin of the European Association for Theoretical Compute.. (context) - Stoelinga, to - 2002
5   Continuous Lattices and Domains (context) - Gierz - 2003
5   Mixing up nondeterminism and probability: A preliminary repo.. - den Hartog, de Vink - 1999  DBLP
4   Combinatorics for computer scientists (context) - Breslauer, Dubhashi - 1995
2   New edition by Springer (context) - Halmos, van Nostrand - 1974
2   A note on powerdomains and modality (context) - Winskel - 1983
2   Quantum information processing for computer scientists (context) - Brassard
2   The role of randomness in computation (context) - Srinivasan - 1995
2   Technische Universitat Darmstadt (context) - Tix, Convexity et al. - 1999
2   An extension result for continuous valuations (context) - Alvarez-Manilla, Edalat et al. - 2000  DBLP
2   Measure Theoretic Results for Continuous Valuations on Parti.. (context) - Alvarez-Manilla - 2000
1   Probabilistic petri nets and Mazurkiewicz equivalence (context) - Varacca, Nielsen - 2003
1   Cpo's of measures for nondeterminism (context) - Saheb-Djaromi - 1980  DBLP
1   Lecture notes in category theory (context) - Caccamo, Martin et al. - 2002
1   LCF considerd as a programming language (context) - Plotkin - 1977
1   Bollati Boringhieri (context) - Prodi - 1970
1   A Calculus for Categories (context) - Caccamo - 2003
1   Topology of data types and computability concepts (context) - Escardo - 2003
1   Convex power constructions for continuous d-cones (context) - Tix - 2000  DBLP
1   Theoretical Computer Science (context) - Nygaard, Winskel et al. - 2003  ACM

Documents on the same site (http://www.brics.dk/DS/Ref/BRICS-DS-Ref/BRICS-DS-Ref.html):   More
Logics and Automata for Verification: Expressiveness and.. - Henriksen (2000)   (Correct)
Dynamic Computation - Husfeldt (1997)   (Correct)
Games for Verification: Algorithmic Issues - Jurdzinski (2000)   (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