A Compositional Approach to Concurrent Programming.

Raju Pandey, James C. Browne

Browse the full PDPTA paper archive.