Typing Non-uniform Concurrent Objects.

Antnio Ravara, Vasco Thudichum Vasconcelos

Browse the full CONCUR paper archive.