Process Algebra

Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles
Guoxin Su, Mingsheng Ying, Chengqi Zhang
引用 DOI
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