Object-based models and languages for concurrent systems

Oscar Nierstrasz, Paolo Ciancarini