Integrating concurrency and object-orientation using boolean, access and path guards.

A. S. M. Sajeev, Heinz W. Schmidt

Browse the full HiPC paper archive.