ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 13:30 - 14:00 at S4 (BEHAPI) - Behavioural Types for API-based software Chair(s): emilio tuosto

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, a mild extension of the asynchronous pi-calculus with first-class mailboxes and selective input. The calculus subsumes the actor model and allows us to analyze networks with dynamic topologies and varying number of processes possibly mixing different concurrency abstractions. Well-typed processes are deadlock free and never fail because of unexpected messages. For a non-trivial class of them, junk freedom is also guaranteed. We illustrate the expressiveness of the calculus and of the type system by encoding instances of non-uniform, concurrent objects, binary sessions extended with joins and forks, and some known actor benchmarks.

Sat 6 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:30: BEHAPI - Behavioural Types for API-based software at S4 (BEHAPI)
Chair(s): emilio tuostoUniversity of Leicester
behapi-2019-papers13:30 - 14:00
Ugo de'LiguoroUniversità di Torino, Luca PadovaniUniversity of Turin
behapi-2019-papers14:00 - 14:30
Hans HüttelDepartment of Computer Science, Aalborg University
behapi-2019-papers14:30 - 15:00
Guido ChariCzech Technical University, Czechia
behapi-2019-papers15:00 - 15:30
Francisco MartinsUniversity of Lisbon