On the public citation graph

Bisimulation for quantum processes

https://doi.org/10.1145/1926385.1926446
0 signed · 42 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.1993.1067openalex-snapshot
A Theory of Communicating Processes with Value Passing
inferredcites →https://doi.org/10.1006/inco.1998.2740openalex-snapshot
A Calculus for Cryptographic Protocols: The Spi Calculus
inferredcites →https://doi.org/10.1007/3-540-12732-1openalex-snapshot
States, Effects, and Operations Fundamental Notions of Quantum Theory
inferredcites →https://doi.org/10.1007/bf01642508openalex-snapshot
A proof system for communicating processes with value-passing
inferredcites →https://doi.org/10.1016/0016-0032(55)90752-3openalex-snapshot
Mathematical foundations of quantum mechanics
inferredcites →https://doi.org/10.1016/0890-5401(92)90008-4openalex-snapshot
A calculus of mobile processes, I
inferredcites →https://doi.org/10.1016/j.ic.2007.08.001openalex-snapshot
Probabilistic bisimulations for quantum processes
inferredcites →https://doi.org/10.1017/s0960129504004256openalex-snapshot
Towards a quantum programming language
inferredcites →https://doi.org/10.1017/s096012950600524xopenalex-snapshot
Relations among quantum processes: bisimilarity and congruence
inferredcites →https://doi.org/10.1017/s0960129599002984openalex-snapshot
Domain equations for probabilistic processes
inferredcites →https://doi.org/10.1103/physrevlett.69.2881openalex-snapshot
Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
inferredcites →https://doi.org/10.1103/physrevlett.70.1895openalex-snapshot
Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
inferredcites →https://doi.org/10.1103/physrevlett.79.325openalex-snapshot
Quantum Mechanics Helps in Searching for a Needle in a Haystack
inferredcites →https://doi.org/10.1109/sfcs.1994.365700openalex-snapshot
Algorithms for quantum computation: discrete logarithms and factoring
inferredcites →https://doi.org/10.1145/1040305.1040318openalex-snapshot
Communicating quantum processes
inferredcites →https://doi.org/10.1145/1507244.1507249openalex-snapshot
An algebra of quantum processes
inferredcites →https://doi.org/10.1145/505482.505499openalex-snapshot
Quantum computation and quantum information
inferredcites →https://doi.org/10.1145/977091.977108openalex-snapshot
Toward a quantum process algebra

What points at this work

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

inferred← citeshttps://doi.org/10.2139/ssrn.4598528openalex-extracted
inferred← citeshttps://doi.org/10.2139/ssrn.4670463openalex-extracted
Analyzing Divergence for Nondeterministic Probabilistic Models
inferred← citeshttps://doi.org/10.1007/978-3-031-73709-1_8openalex-snapshot
Towards a Formal Testing Theory for Quantum Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-32940-1_7openalex-snapshot
Reachability and Termination Analysis of Concurrent Quantum Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-38164-5_18openalex-snapshot
Techniques for Formal Modelling and Analysis of Quantum Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-54862-8_42openalex-snapshot
Verification of Concurrent Quantum Protocols by Equivalence Checking
inferred← citeshttps://doi.org/10.1007/s00236-013-0185-3openalex-snapshot
Termination of nondeterministic quantum programs
inferred← citeshttps://doi.org/10.1007/s10773-019-04204-6openalex-snapshot
An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing
inferred← citeshttps://doi.org/10.1007/s10773-019-04216-2openalex-snapshot
Probabilistic Process Algebra to Unifying Quantum and Classical Computing in Closed Systems
inferred← citeshttps://doi.org/10.1007/s10773-019-04226-0openalex-snapshot
Entanglement in Quantum Process Algebra
inferred← citeshttps://doi.org/10.1007/s10773-019-04232-2openalex-snapshot
Formal Verification for KMB09 Protocol
inferred← citeshttps://doi.org/10.1007/s11434-012-5147-6openalex-snapshot
Quantum programming: From theories to implementations
inferred← citeshttps://doi.org/10.1016/j.ipl.2024.106492openalex-snapshot
Branching bisimulation semantics for quantum processes
inferred← citeshttps://doi.org/10.1109/csf.2013.16openalex-snapshot
Quantum Information-Flow Security: Noninterference and Access Control
inferred← citeshttps://doi.org/10.1145/2049706.2049708openalex-snapshot
Floyd--hoare logic for quantum programs
inferred← citeshttps://doi.org/10.1145/2400676.2400680openalex-snapshot
Bisimulation for Quantum Processes
inferred← citeshttps://doi.org/10.1145/2579818openalex-snapshot
Symbolic Bisimulation for Quantum Processes
inferred← citeshttps://doi.org/10.1145/2629680openalex-snapshot
Model-Checking Linear-Time Properties of Quantum Systems
inferred← citeshttps://doi.org/10.1145/3231597openalex-snapshot
Automated Equivalence Checking of Concurrent Quantum Systems
inferred← citeshttps://doi.org/10.4204/eptcs.158.2openalex-snapshot
Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
inferred← citeshttps://doi.org/10.4204/eptcs.160.10openalex-snapshot
Verification of Linear Optical Quantum Computing using Quantum Process Calculus
inferred← citeshttps://doi.org/10.4204/eptcs.195.6openalex-snapshot
Formalization of Quantum Protocols using Coq
inferred← citeshttps://doi.org/10.4204/eptcs.59.9openalex-snapshot
Formal Analysis of Quantum Systems using Process Calculus
inferred← citeshttps://doi.org/10.4204/eptcs.95.7openalex-snapshot
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
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.