"Compositional Reasoning about Shared Futures."

Crystal Chang Din, Johan Dovland, Olaf Owe (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics