Correctness checking of a quantum protocol for reliable communications via feedback (Q2322281)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Correctness checking of a quantum protocol for reliable communications via feedback |
scientific article |
Statements
Correctness checking of a quantum protocol for reliable communications via feedback (English)
0 references
4 September 2019
0 references
quantum
0 references
alternating bit protocol
0 references
correctness checking
0 references
process algebra
0 references
