"A Theory of Available-by-Design Communicating Systems."

Hugo A. López, Flemming Nielson, Hanne Riis Nielson (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics