76 citations · 156 across the 20 of their papers we have counts for
4 papers · 1 filter
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…
Relating Reasoning Methodologies in Linear Logic and Process Algebra
Yuxin Deng, Iliano Cervesato, Robert J. Simmons
We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-…
Symbolic bisimulation for quantum processes
Yuan Feng, Yuxin Deng, Mingsheng Ying
With the previous notions of bisimulation presented in literature, to check if two quantum processes are bisimilar, we have to instantiate the free quantum variables of them with a…
Open Bisimulation for Quantum Processes
Yuxin Deng, Yuan Feng
Quantum processes describe concurrent communicating systems that may involve quantum information. We propose a notion of open bisimulation for quantum processes and show that it pr…