1 code implementation • 6 Apr 2020 • Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel
In this work we identify a counterexample to Cortadella et al.'s proof illustrating how their protocol can in fact lead to a violation of flow equivalence.
Logic in Computer Science
