A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk).

Azadeh Farzan, Zachary Kincaid

Browse the full CONCUR paper archive.