Behavioural Types for a Calculus of Concurrent Objects

António Ravara, Vasco Thudichum Vasconcelos. Behavioural Types for a Calculus of Concurrent Objects. In Christian Lengauer, Martin Griebl, Sergei Gorlatch, editors, Euro-Par 97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings. Volume 1300 of Lecture Notes in Computer Science, pages 554-561, Springer, 1997.

Abstract

Abstract is missing.