Behavioural Types for a Calculus of Concurrent Objects.

Antnio Ravara, Vasco Thudichum Vasconcelos

Browse the full EuroPar paper archive.