A General Proof System for Modalities in Concurrent Constraint Programming.

Vivek Nigam, Carlos Olarte, Elaine Pimentel

Browse the full CONCUR paper archive.