A type language for message passing component-based systems. - Zorica Savanovic; Letterio Galletta; Hugo Torres Vieira (ICE, 2020)

A type language for distributed reactive components governed by communication protocols. - Zorica Savanovic; Letterio Galletta (J. Log. Algebraic Methods Program., 2023)