Communicating quantum processes (Q5276142)
From MaRDI portal
scientific article; zbMATH DE number 6745851
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Communicating quantum processes |
scientific article; zbMATH DE number 6745851 |
Statements
Communicating quantum processes (English)
0 references
14 July 2017
0 references
formal language
0 references
quantum communication
0 references
quantum computing
0 references
semantics
0 references
types
0 references
verification
0 references
