L
Luca Padovani
Researcher at University of Turin
Publications - 109
Citations - 3021
Luca Padovani is an academic researcher from University of Turin. The author has contributed to research in topics: Session (computer science) & Web service. The author has an hindex of 27, co-authored 101 publications receiving 2743 citations. Previous affiliations of Luca Padovani include University of Milan & University of Genoa.
Papers
More filters
Journal ArticleDOI
Foundations of Session Types and Behavioural Contracts
Hans Hüttel,Ivan Lanese,Vasco T. Vasconcelos,Luís Caires,Marco Carbone,Pierre-Malo Deniélou,Dimitris Mostrous,Luca Padovani,António Ravara,Emilio Tuosto,Hugo Torres Vieira,Gianluigi Zavattaro +11 more
TL;DR: This article surveys the main accomplishments of the last 20 years within behavioural types within session types and behavioural contracts.
Journal ArticleDOI
A theory of contracts for Web services
TL;DR: This work shows that filters can be seen as proofs of a sound and complete subcontracting deduction system which simultaneously refines and extends Hennessy's classical axiomatization of the must testing preorder.
Journal ArticleDOI
Global Progress for Dynamically Interleaved Multiparty Sessions
TL;DR: A novel static interaction type system for global progress in dynamically interleaved and interfered multiparty sessions infers causalities of channels making sure that processes do not get stuck at intermediate stages of sessions also in presence of delegation.
A Theory of Contracts for Web Services
TL;DR: In this article, the authors propose a theory of contracts that formalizes the compatibility of a client with a service, and the safe replacement of a service with another service by using a filter.
Book
Behavioral Types in Programming Languages
Davide Ancona,Viviana Bono,Mario Bravetti,Joana Campos,Giuseppe Castagna,Pierre-Malo Deniélou,Nils Gesbert,Elena Giachino,Raymond Hu,Einar Broch Johnsen,Francisco Martins,Viviana Mascardi,Fabrizio Montesi,Rumyana Neykova,Nicholas Ng,Luca Padovani,Vasco T. Vasconcelos,Nobuko Yoshida +17 more
TL;DR: Behavior Types in Programming Languages provides the reader with the first comprehensive overview of the state of the art of these practical aspects, which are summarized as the pragmatics of behavioral types.