76 citations · 156 across the 20 of their papers we have counts for
13 papers · 1 filter
Encodability Criteria for Quantum Based Systems
Anna Schmitt, Kirstin Peters, Yuxin Deng
Quantum based systems are a relatively new research area for that different modelling languages including process calculi are currently under development. Encodings are often used…
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Ming Xu, Jingyi Mei, Ji Guan +2
Verifying quantum systems has attracted a lot of interest in the last decades.In this paper, we study the quantitative model-checking of quantum continuous-time Markov chains (quan…
Formal Semantics of a Classical-Quantum Language
Yuxin Deng, Yuan Feng
We investigate the formal semantics of a simple imperative language that has both classical and quantum constructs. More specifically, we provide an operational semantics, a denota…
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains
Ming Xu, Jianling Fu, Jingyi Mei +1
Fidelity is one of the most widely used quantities in quantum information that measure the distance of quantum states through a noisy channel. In this paper, we introduce a quantum…
Modal Characterisations of Behavioural Pseudometrics
Yuxin Deng, Wenjie Du, Daniel Gebler
For the model of probabilistic labelled transition systems that allow for the co-existence of nondeterminism and probabilities, we present two notions of bisimulation metrics: one…
The Buffered π-Calculus: A Model for Concurrent Languages
Xiaojie Deng, Yu Zhang, Yuxin Deng +1
Message-passing based concurrent languages are widely used in developing large distributed and coordination systems. This paper presents the buffered -calculus --- a variant of…