Probabilistic process algebra to unifying quantum and classical computing in closed systems (Q2010969)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic process algebra to unifying quantum and classical computing in closed systems |
scientific article |
Statements
Probabilistic process algebra to unifying quantum and classical computing in closed systems (English)
0 references
28 November 2019
0 references
quantum processes
0 references
probabilistic process algebra
0 references
algebra of communicating processes
0 references
axiomatization
0 references
