Domain Equations for Probabilistic Processes CHRISTEL BAIER and MARTA...  Home/Search
Context
Related
| web.informatik.unibonn.de/...domeq.pdf 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: web.informatik.un...publikationen (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we consider Milner's calculus CCS enriched by a probabilistic choice operator. The calculus is given operational semantics based on probabilistic transition systems. We define operational notions of preorder and equivalence as probabilistic extensions of the simulation preorder and the bisimulation equivalence respectively.We extend existing category-theoretic techniques for solving domain equations to the probabilistic case and givetwo denotational semantics for the calculus.... (Update)
Similar documents (at the sentence level):
33.7%: Domain Equations for Probabilistic Processes - Baier, Kwiatkowska (1997) (Correct)
12.8%: Electronic Notes in Theoretical Computer Science 7 (1997) - Url Http Www (Correct)
Active bibliography (related documents): More All
1.4: Weak Bisimulation for Fully Probabilistic Processes - Baier, Hermanns (1999) (Correct)
0.9: Polynomial Time Algorithms for Testing Probabilistic Bisimulation.. - Baier (1996) (Correct)
0.7: Deciding Bisimilarity and Similarity for Probabilistic.. - Baier, Engelen.. (2000) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ for-under,
author = "Domain Equations For",
title = "Under consideration for publication in Math. Struct. in Comp. Science",
url = "citeseer.ist.psu.edu/741371.html" }
Citations (may not include all citations):216 Theoretical Computer Science (context) - Milner, Synchrony - 1983
59 Prentice Hall (context) - Milner, Concurrency - 1989
58 Theoretical Computer Science (context) - Winskel, trees - 1984
40 congruences and complete axiomatizations for probabilistic p.. (context) - Jou, Smolka - 1990
28 Information and Computation (context) - Abramsky, Equation et al. - 1991
23 and Stratified Models for Probabilistic Processes (context) - van Glabbeek, Smolka et al. - 1990
22 Larsen: Specification and Refinement of Probabilistic Proces.. (context) - Jonsson - 1991
21 Skou: Bisimulation through Probabilistic Testing (context) - Larsen - 1991
20 Yi: Compositional Testing Preorders for Probabilistic Proces.. (context) - Jonsson - 1995
17 Larsen: Testing Probabilistic and Nondeterministic Processes (context) - Yi - 1992
16 Smolka: Algebraic Reasoning for Probabilistic Concurrent Sys.. (context) - Giacalone, Jou - 1990
15 Zwarico: Testing Preorders for Probabilistic Processes (context) - Cleaveland, Smolka - 1992
14 Smolka: Fully Abstract Characterizations of Testing Preorder.. (context) - Yuen, Cleaveland et al. - 1994
12 Yannakakis: The Complexity of Probabilistic Verification (context) - Courcoubetis - 1995
11 Jonsson: A Calculus for Communicating Systems with Time and .. (context) - Hansson - 1990
10 Kwiatkowska: Domain Equations for Probabilistic Processes (context) - Baier - 1997
10 ete des certains espaces d (context) - Kuratowski, m'ethode et al. - 1956
8 Formal Aspects of Computing (context) - Tofts, Probabilities - 1994
8 Plotkin: The Category-Theoretic Solution of Recursive Equati.. (context) - Smyth - 1982
6 on Foundations of Computer Science (context) - Vardi, of et al. - 1985
6 Majster-Cederbaum: How to Interpret and Establish Consistenc.. (context) - Baier - 1997
5 Hennessy: Testing Equivalences for Processes (context) - de Nicola - 1984
5 Lecture Notes in Computer Science (context) - Christoff, Equivalences et al. - 1990
5 Jung: Domain Theory (context) - Abramsky - 1994
5 University of Edinburgh (context) - Jones, Non-Determinism et al. - 1990
5 Rounds: Connection between two Theories of Concurrency: Metr.. (context) - Golson - 1983
4 Plotkin: A Probabilistic Powerdomain on Evaluations (context) - Jones - 1989
4 Lynch: Probabilistic Simulations for Probabilitsic Processes (context) - Segala - 1994
4 Majster-Cederbaum: Denotational Semantics in the cpo and met.. (context) - Baier - 1994
4 Rutten: Solving Recursive Domain Equations in a Category of .. (context) - America - 1989
4 Scott: A Compendium of Continuous Lattices (context) - Gierz, Hofmann et al. - 1980
4 Phil thesis (context) - Lowe, Priorities et al. - 1991
4 Norman: Probabilistic Metric Semantics for a Simple Language.. (context) - Kwiatkowska - 1996
4 Turi: On the Foundations of Final Semantics: Non-Standard Se.. (context) - Rutten - 1993
3 Formal Techniques in Real Time and Fault Tolerant Systems (context) - Yi, for et al. - 1994
3 Zucker: Processes and the Denotational Semantics of Concurre.. (context) - de Bakker - 1982
3 Theoretical Computer Science (context) - Baier, Semantics - 1997
3 University of Birmingham (context) - Norman, Semantics et al. - 1997
2 Sigma Series in Rure Mathematics (context) - Engelking, Topology - 1989
2 Norman: A Fully Abstract Metric-Space Denotational Semantics.. (context) - Kwiatkowska - 1998
2 Centre for Mathematics and Computer Science (context) - de Bakker, Ch et al. - 1988
1 Panangaden: Bisimulation for Labelled Markov Processes (context) - Blute, Desharnais et al. - 1997
1 Hoare: Communicating Sequential Processes (context) - Heckmann, Valuations et al. - 1985
Documents on the same site (http://web.informatik.uni-bonn.de/I/baier/publikationen.html): More
Quantitative Analysis of Distributed Randomized Protocols - Baier, Ciesinski, Groesser (2005) (Correct)
Symbolic Reasoning with Weighted and Normalized Decision.. - Ossowski, Baier (2005) (Correct)
Synthesis of Reo Circuits for Implementation of.. - Arbab, Baier, de.. (2004) (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