Fetching the paper…
Reading the bibliography…
In this paper, we introduce a model of quantum concurrent program, which can be used to model the behaviour of reactive quantum systems and to design quantum compilers.
The logic of quantum mechanics
G. Birkhoff and J. Von Neumann · 1936
Earlier work this paper cites.
On infinite direct products
J. von Neumann · 1939
Earlier work this paper cites.
Flow diagrams, turing machines and languages with only two formation rules
C. Böhm and G. Jacopini · 1966
Earlier work this paper cites.
Formal verification of parallel programs
R. M. Keller · 1976
Earlier work this paper cites.
The temporal logic of programs
A. Pnueli · 1977
Earlier work this paper cites.
The temporal semantics of concurrent programs
A. Pnueli · 1981
Earlier work this paper cites.
Proving liveness properties of concurrent programs
S. Owicki and L. Lamport · 1982
Earlier work this paper cites.
Orthomodular lattices
G. Kalmbach · 1983
Earlier work this paper cites.
Fairness
N. Francez · 1986
Earlier work this paper cites.
A simple proof of the skolem-mahler-lech theorem
G. Hansel · 1986
Earlier work this paper cites.
Simultaneous reduction of sets of matrices under similarity
T. J. Laffey · 1986
Earlier work this paper cites.
Algorithms Related to Multiplicative Representations
G. Ge · 1993
Earlier work this paper cites.
Computing jordan normal forms exactly for commuting matrices in polynomial time
J. Cai · 1994
Earlier work this paper cites.
Conventions for quantum pseudocode, 1996
E. Knill · 1996
Earlier work this paper cites.
An upper bound for the length of a finite-dimensional algebra
C. J. Pappacena · 1997
Earlier work this paper cites.
Algebraic Aspects of Orthomodular Lattices
G. Bruns and J. Harding · 2000
Earlier work this paper cites.
Quantum programming
J. W. Sanders and P. Zuliani · 2000
Earlier work this paper cites.
Toward an architecture for quantum programming
S. Bettelli, T. Calarco, and L. Serafini · 2003
Earlier work this paper cites.
Structured quantum programming
B. Ömer · 2003
Earlier work this paper cites.
Modeling quantum computing in haskell
A. Sabry · 2003
Earlier work this paper cites.
The logic of quantum programs
A. Baltag and S. Smets · 2004
Earlier work this paper cites.
Dynamic quantum logic for quantum programs
O. Brunet and P. Jorrand · 2004
Earlier work this paper cites.
A brief survey of quantum programming languages
P. Selinger · 2004
Earlier work this paper cites.
Towards a quantum programming language
P. Selinger · 2004
Earlier work this paper cites.
The logic of quantum program verification
D. Akatov · 2005
Earlier work this paper cites.
A functional quantum programming language
T. Altenkirch and J. Grattage · 2005
Earlier work this paper cites.
From quantum physics to programming languages: A process algebraic approach
P. Jorrand and M. Lalire · 2005
Cited alongside, same era.
Lqp: the dynamic logic of quantum information
A. Baltag and S. Smets · 2006
Cited alongside, same era.
Reasoning about imperative quantum programs
R. Chadha, P. Mateus, and A. Sernadas · 2006
Cited alongside, same era.
Quantum weakest preconditions
E. D’hondt and P. Panangaden · 2006
Cited alongside, same era.
Quantum programming languages: Survey and bibliography
S. J. Gay · 2006
Cited alongside, same era.
Weakly complete axiomatization of exogenous quantum propositional logic
P. Mateus and A. Sernadas · 2006
Cited alongside, same era.
Reachability probabilities of quantum markov chains
S. Ying, Y. Feng, N. Yu, and M. Ying · 2013
Later among the works it cites.
Verification of concurrent quantum protocols by equivalence checking
E. Ardeshir-Larijani, S. J. Gay, and R. Nagarajan · 2014
Later among the works it cites.
Debugging quantum processes using monitoring measurements
Y. Li and M. Ying · 2014
Later among the works it cites.
Termination of nondeterministic quantum programs
Y. Li, N. Yu, and M. Ying · 2014
Later among the works it cites.
Liqui | ⟩ |\rangle : A software design architecture and domain-specific language for quantum computing
D. Wecker and K. M. Svore · 2014
Later among the works it cites.
Model-checking linear-time properties of quantum systems
M. Ying, Y. Li, N. Yu, and Y. Feng · 2014
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
P. Baltazar, R. Chadha, P. Mateus, and A. Sernadas · 2007
Cited alongside, same era.
Proof rules for the correctness of quantum programs
Y. Feng, R. Duan, Z. Ji, and M. Ying · 2007
Cited alongside, same era.
Open question: effective skolem-mahler-lech theorem
T. Tao · 2007
Cited alongside, same era.
Quantum computation tree logic - model checking and complete calculus
P. Baltazar, R. Chadha, and P. Mateus · 2008
Cited alongside, same era.
Qmc: A model checker for quantum systems
S. J. Gay, R. Nagarajan, and N. Papanikolaou · 2008
Cited alongside, same era.
A logic for formal verification of quantum programs
Y. Kakutani · 2009
Cited alongside, same era.
Algebraic effects, linearity, and quantum programming languages
S. Staton · 2015
Later among the works it cites.
Verification logics for quantum programs, 2016
R. Rand · 2016
Later among the works it cites.
Foundations of Quantum Programming
M. Ying · 2016
Later among the works it cites.
The geometry of parallelism: Classical, probabilistic, and quantum effects
U. Dal Lago, C. Faggian, B. Valiron, and A. Yoshimizu · 2017
Later among the works it cites.
Algorithmic analysis of termination problems for quantum programs
Y. Li and M. Ying · 2017
Later among the works it cites.
Qwire: a core language for quantum circuits
J. Paykin, R. Rand, and S. Zdancewic · 2017
Later among the works it cites.
Invariants of quantum programs: characterisations and generation
M. Ying, S. Ying, and X. Wu · 2017
Later among the works it cites.
A resolution of paz’s conjecture in the presence of a nonderogatory matrix
A. Guterman, T. Laffey, O. Markova, and H. Smigoc · 2018
Later among the works it cites.
Rigetti Forest team, 2018
2018
Later among the works it cites.
Reachability analysis of quantum markov decision processes
S. Ying and M. Ying · 2018
Later among the works it cites.
Coupling techniques for reasoning about quantum programs
G. Barthe, J. Hsu, M. Ying, N. Yu, and L. Zhou · 2019
Closest in time.
Quantum computing course
Google and Microsoft · 2019
Closest in time.
Quantitative robustness analysis of quantum programs
S.-H. Hung, K. Hietala, S. Zhu, M. Ying, M. Hicks, and X. Wu · 2019
Closest in time.
Protocols for packet quantum network intercommunication
Y. Nengkun, C.-Y. Lai, and L. Zhou · 2019
Closest in time.
A hott quantum equational theory, 2019
J. Paykin and S. Zdancewic · 2019
Closest in time.
An improved bound for the length of matrix algebras
Y. Shitov · 2019
Closest in time.
Quantum hoare logic with ghost variables
D. Unruh · 2019
Closest in time.
Quantum relational hoare logic
D. Unruh · 2019
Closest in time.
An applied quantum hoare logic
L. Zhou, N. Yu, and M. Ying · 2019
Closest in time.