Savanovic, Zorica (2023) Type discipline for message-passing components in distributed systems. Advisor: Galletta, Dr. Letterio. pp. 154. [IMT PhD Thesis]