Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.

Erika brahm, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen

Browse the full ICTAC paper archive.