Semantics

Refinement calculus of quantum programs with projective assertions
This paper presents a refinement calculus designed specifically for quantum programs, offering a structured approach to their …
Yuan Feng, Li Zhou, Yingte Xu, Xiaoquan Xu
引用 DOI URL
Bisimulations for probabilistic linear lambda calculi
Yuxin Deng, Yuan Feng
引用 DOI
Verify LTL with Fairness Assumptions Efficiently
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
引用 DOI
Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles
Guoxin Su, Mingsheng Ying, Chengqi Zhang
引用 DOI
A Flowchart Language for Quantum Programming
引用 DOI