Expressive modular fine-grained concurrency specification.

Bart Jacobs, Frank Piessens

Browse the full POPL paper archive.