A proof system for disjoint parallel quantum programs.

Mingsheng Ying Li Zhou Yangjia Li Yuan Feng

Published in: Theor. Comput. Sci. (2022)

Keyphrases

high level programming language
parallel implementation
parallel processing
modal logic
computer programs
sorting algorithms
information systems
distributed memory
pairwise
shared memory
message passing
parallel computation
fixpoint
real time
logic programs
case study
neural network
data sets