Baidu
map

A Unifying Coalgebraic Semantics Framework for Quantum Systems

Liu, A; Sun, M

Sun, M (corresponding author), Peking Univ, Sch Math Sci, Beijing, Peoples R China.; Sun, M (corresponding author), Ctr Quantum Comp, Peng Cheng Lab, Shenzhen 518055, Peoples R China.

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2021; 31 (03): 381

Abstract

As a quantum counterpart of labeled transition system (LTS), quantum labeled transition system (QLTS) is a powerful formalism for modeling quantum pro......

Full Text Link


Baidu
map
Baidu
map
Baidu
map