paper on 2nd International Workshop on Behavioural Types