102 citations · 226 across the 18 of their papers we have counts for
13 papers · 1 filter
Fair Termination of Multiparty Sessions
Luca Ciccone, Francesco Dagnino, Luca Padovani
There exists a broad family of multiparty sessions in which the progress of one session participant is not unconditional, but depends on the choices performed by other participants…
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Stephanie Balzer, Luca Padovani
Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many a…
Concurrent Typestate-Oriented Programming in Java
Rosita Gerbo, Luca Padovani
We describe a generative approach that enables concurrent typestate-oriented programming in Java and other mainstream languages. The approach allows programmers to implement object…
Deadlock-Free Typestate-Oriented Programming
Luca Padovani
Context. TypeState-Oriented Programming (TSOP) is a paradigm intended to help developers in the implementation and use of mutable objects whose public interface depends on their pr…
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…
On the chemistry of typestate-oriented actors
Silvia Crafa, Luca Padovani
Typestate-oriented programming is an extension of the OO paradigm in which objects are modeled not just in terms of interfaces but also in terms of their usage protocols, describin…