Formal definitions of behavioural compatibility for active and passive objects.

Graeme Smith

Browse the full APSEC paper archive.