3 citations · 3 across the 8 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018
A Theory of Lazy Imperative Timing
Eric C. R. Hehner
We present a theory of lazy imperative timing.
cs.PL2009
Programming with Quantum Communication
Anya Tafliovich, Eric C. R. Hehner
This work develops a formal framework for specifying, implementing, and analysing quantum communication protocols. We provide tools for developing simple proofs and analysing progr…