On the public citation graph

Axiomatizing probabilistic processes: ACP with generative probabilities

https://doi.org/10.1007/bfb0084810
0 signed · 38 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.1995.1135openalex-snapshot
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities
inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-51237-3_4openalex-snapshot
A remark on bisimulation between probabilistic processes
inferredcites →https://doi.org/10.1007/3-540-55719-9_116openalex-snapshot
Testing preorders for probabilistic processes
inferredcites →https://doi.org/10.1007/bfb0039071openalex-snapshot
Equivalences, congruences, and complete axiomatizations for probabilistic processes
inferredcites →https://doi.org/10.1007/bfb0039078openalex-snapshot
A synchronous calculus of relative frequency
inferredcites →https://doi.org/10.1007/bfb0084809openalex-snapshot
Compositional verification of probabilistic processes
inferredcites →https://doi.org/10.1007/bfb0084810openalex-snapshot
Axiomatizing probabilistic processes: ACP with generative probabilities
inferredcites →https://doi.org/10.1016/0890-5401(91)90030-6openalex-snapshot
Bisimulation through probabilistic testing
inferredcites →https://doi.org/10.1016/s0019-9958(84)80025-xopenalex-snapshot
Process algebra for synchronous communication
inferredcites →https://doi.org/10.1016/s0065-2458(08)60462-3openalex-snapshot
Information and Computation
inferredcites →https://doi.org/10.1017/cbo9780511624193openalex-snapshot
Process Algebra
inferredcites →https://doi.org/10.1109/lics.1990.113740openalex-snapshot
Reactive, generative, and stratified models of probabilistic processes
inferredcites →https://doi.org/10.1109/lics.1991.151651openalex-snapshot
Specification and refinement of probabilistic processes
inferredcites →https://doi.org/10.1145/75277.75307openalex-snapshot
Bisimulation through probabilistic testing (preliminary report)

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-48778-6_3openalex-snapshot
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems
inferred← citeshttps://doi.org/10.1007/3-540-49213-5_20openalex-snapshot
Compositional Verification of Randomized Distributed Algorithms
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_190openalex-snapshot
Algebraic reasoning for real-time probabilistic processes with uncertain information
inferred← citeshttps://doi.org/10.1007/3-540-60218-6_18openalex-snapshot
Acceptance trees for probabilistic processes
inferred← citeshttps://doi.org/10.1007/3-540-61550-4_167openalex-snapshot
Probabilistic metric semantics for a simple language with recursion
inferred← citeshttps://doi.org/10.1007/978-1-4471-2061-2_4openalex-snapshot
Composition and Refinement of Probabilistic Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3217-2_14openalex-snapshot
The Total Order Assumption
inferred← citeshttps://doi.org/10.1007/978-3-030-38800-3_9openalex-snapshot
Origins and Development of Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-031-94634-9_14openalex-snapshot
Analysing Probabilistic Hornets
inferred← citeshttps://doi.org/10.1007/978-3-540-48654-1_34openalex-snapshot
Process Algebra with Partial Choice
inferred← citeshttps://doi.org/10.1007/978-3-642-04081-8_11openalex-snapshot
Deriving Syntax and Axioms for Quantitative Regular Behaviours
inferred← citeshttps://doi.org/10.1007/bf01213492openalex-snapshot
Refinement-oriented probability for CSP
inferred← citeshttps://doi.org/10.1007/bfb0015026openalex-snapshot
Process algebra with partial choice
inferred← citeshttps://doi.org/10.1007/s00236-005-0168-0openalex-snapshot
π-calculus with noisy channels
inferred← citeshttps://doi.org/10.1016/j.ic.2010.09.007openalex-snapshot
Quantitative Kleene coalgebras
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00059-3openalex-snapshot
Modeling Process Calculi with PVS
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80039-8openalex-snapshot
Linear Structures for Concurrency in Probabilistic Programming Languages
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80603-6openalex-snapshot
The Essence of Coin Lemmas
inferred← citeshttps://doi.org/10.1080/00222933208673535openalex-snapshot
LXI.—On the identity of some ants from Ceylon described by F. Walker
inferred← citeshttps://doi.org/10.3990/1.9789036507998openalex-snapshot
Quantitative and Qualitative Extensions of Event Structures
inferred← citeshttps://doi.org/10.4204/eptcs.60.5openalex-snapshot
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
inferred← citeshttps://doi.org/10.6100/ir716397openalex-snapshot
Probability and hiding in concurrent processes
showing the first 22 of 23 · page through all 23
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.