Verification of Distributed Quantum Programs.
Yuan FengSanjiang LiMingsheng YingPublished in: ACM Trans. Comput. Log. (2022)
Keyphrases
- cooperative
- distributed systems
- model checking
- mobile agents
- multi agent
- peer to peer
- symbolic execution
- database
- distributed network
- communication overhead
- loosely coupled
- temporal logic
- data sets
- lightweight
- wireless sensor networks
- distributed computing
- distributed data
- computer programs
- information systems
- data mining
- distributed architecture
- real time