A Proof Framework for Concurrent Programs.

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Browse the full IFM paper archive.