on behavioural types for concurrent objects

I would like to aanounce the availability of the following paper. All
coments are very wellcomed.

Behavioural types for a calculus of concurrent objects.
Antonio Ravara and Vasco T. Vasconcelos


We present a new type system for the name-passing calculus of concurrent
objects, TyCO. The system captures dynamic aspects of objects'
behaviours, while enlarging the class of typable processes. The notion
of error-process is more flexible than the previous one, only demanding
weak fairness in the treatment of messages. Types are graphs,
incorporating a notion of state-transition systems. The type
compatibility relation is captured by a bisimulation relation. 

There are two versions available, a short one that will be publish in
the proceedings of Euro-Par'97 (URL:
and a full one (URL:

antonio ravara