Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
Sign Up to like & getrecommendations! Published in 2017 at "Soft Computing"
DOI: 10.1007/s00500-015-1802-6
Abstract: This paper presents a sound axiomatization for a probabilistic modal dynamic logic of quantum programs. The logic can express whether a state is separable or entangled, information that is local to a subsystem of the… read more here.
Keywords: correctness quantum; quantum; deriving correctness; logic quantum ... See more keywords