Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract)

Authors:
Jos C. M. Baeten;Jan A. Bergstra;Scott A. Smolka
Affiliations:
-;-;-
Venue:
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Year:
1992

Citing 0
Cited 3

Compositional Verification of Randomized Distributed Algorithms

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Deriving Syntax and Axioms for Quantitative Regular Behaviours

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Quantitative Kleene coalgebras

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract