Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards.

Brijesh Dongol, Arjan J. Mooij

Browse the full MPC paper archive.