Correctness checking of a quantum protocol for reliable communications via feedback (Q2322281)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7101138
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Correctness checking of a quantum protocol for reliable communications via feedback |
scientific article; zbMATH DE number 7101138 |
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
0.7421234250068665
0 references
0.7319625020027161
0 references
0.7303327322006226
0 references
0.7227635383605957
0 references
0.7193229794502258
0 references
