HBM Jonkers - International Symposium on Formal Methods, 1999 - Springer
In this paper we introduce a model of process communication and synchronisation, based
on the concept of interaction objects. Interaction objects define an abstraction mechanism for …