Compositional Reasoning about Shared Futures.

Crystal Chang Din, Johan Dovland, Olaf Owe

Browse the full SEFM paper archive.