Gages Accept Concurrent Behavior

Vineet Gupta, Vaughan R. Pratt

Browse the full FOCS paper archive.