An extended quantum process algebra (eQPAlg) approach for distributed quantum systems.

Salman Haider Syed Asad Raza Kazmi

Published in: CoRR (2020)

Keyphrases

distributed systems
process algebra
asynchronous circuits
concurrent systems
real time
multi agent
distributed environment
formal methods
formal languages
peer to peer
computer networks
concurrent programs