A Proof System for Communicating Shared Resources.

Richard Gerber, Insup Lee

Browse the full RTSS paper archive.