On Unifying Assumption-Commitment Style Proof Rules for Concurrency.

Qiwen Xu, Antonio Cau, Pierre Collette

Browse the full CONCUR paper archive.