Cargando…

Verifying Quantum Communication Protocols with Ground Bisimulation

One important application of quantum process algebras is to formally verify quantum communication protocols. With a suitable notion of behavioural equivalence and a decision method, one can determine if an implementation of a protocol is consistent with its specification. Ground bisimulation is a co...

Descripción completa

Detalles Bibliográficos
Autores principales: Qin, Xudong, Deng, Yuxin, Du, Wenjie
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480706/
http://dx.doi.org/10.1007/978-3-030-45237-7_2