Compositional reasoning about projected and infinite time.

Ben C. Moszkowski

Browse the full ICECCS paper archive.