CCSR: A Calculus for Communicating Shared Resources.

Richard Gerber, Insup Lee

Browse the full CONCUR paper archive.