Axiomatizing probabilistic processes: ACP with generative probabilities
From MaRDI portal
Publication:1899914
DOI10.1006/inco.1995.1135zbMath0829.60044OpenAlexW2113391296MaRDI QIDQ1899914
Scott A. Smolka, Jan A. Bergstra, Jos C. M. Baeten
Publication date: 22 January 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/658e1fc325853d254a0b1fa215285b18822ee103
Related Items
Refinement-oriented probability for CSP, Model independent approach to probabilistic models, A general SOS theory for the specification of probabilistic transition systems, Process Algebra and Model Checking, Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?, Metrics for labelled Markov processes, Behavioural equivalences of a probabilistic pi-calculus, Axiomatizations for probabilistic finite-state behaviors, Parametric probabilistic transition systems for system design and analysis, A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time, A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences, Approximating labelled Markov processes, Algebraic theory of probabilistic processes., Back to the format: a survey on SOS for probabilistic processes, Linking theories in probabilistic programming, A propositional dynamic logic with qualitative probabilities, Deciding bisimilarity and similarity for probabilistic processes., Linear Structures for Concurrency in Probabilistic Programming Languages, Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes, A brief history of process algebra, Process algebra for performance evaluation, \(\pi\)-calculus with noisy channels, Non Expansive ε-Bisimulations, Discrete time generative-reactive probabilistic processes with different advancing speeds, Notes on Generative Probabilistic Bisimulation, Probabilistic Barbed Congruence, Hiding resources that can fail: An axiomatic perspective, Additive models of probabilistic processes
