Bisimulation

Bisimulations for probabilistic linear lambda calculi
Yuxin Deng, Yuan Feng
引用 DOI
Bisimulation for quantum processes
Quantum cryptographic systems have been commercially available, with a striking advantage over classical systems that their security …
Yuan Feng, Runyao Duan, Mingsheng Ying
引用 DOI URL
An algebra of quantum processes
We introduce an algebra qCCS of pure quantum processes in which communications by moving quantum states physically are allowed and …
引用 DOI URL
Additive models of probabilistic processes
We propose a new model of probabilistic processes. In this model, a probability is assigned to the action of a prefix and a probability …
引用 DOI URL