20 citations · 96 across the 24 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 7 cited
Global Types for Open Systems
Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
Global-type formalisms enable to describe the overall behaviour of distributed systems and at the same time to enforce safety properties for communications between system component…
cs.PL2018
Mailbox Types for Unordered Interactions
Ugo de'Liguoro, Luca Padovani
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 i…