University of Torino is internationally recognized for its expertise in several areas of theoretical computer science including logic, functional calculi, intersection types, static analysis techniques for object-oriented, concurrent and distributed
We propose a type system for reasoning on protocol conformance and deadlock freedom in networks of processes that communicate through unordered mailboxes. We model these networks in the mailbox calculus,