6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Reasoning about distributive laws in a concurrent refinement algebra
Larissa A. Meinicke, Ian J. Hayes
Distributive laws are important for algebraic reasoning in arithmetic and logic. They are equally important for algebraic reasoning about concurrent programs. In existing theories…
cs.FL2010★ 6 cited
Compositional closure for Bayes Risk in probabilistic noninterference
Annabelle McIver, Larissa Meinicke, Carroll Morgan
We give a sequential model for noninterference security including probability (but not demonic choice), thus supporting reasoning about the likelihood that high-security values mig…