Luca Padovani

Proc. ACM Program. Lang., 2022

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020.

[BibT_eX]

[DOI]

Stephanie Balzer

J. Log. Algebraic Methods Program., 2022

Distributed workflows with Jupyter.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2022

On the Fair Termination of Client-Server Sessions.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types.

[BibT_eX]

[DOI]

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

A Dependently Typed Linear π-Calculus in Agda.

[BibT_eX]

[DOI]

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

Probabilistic Analysis of Binary Sessions.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Context-Free Session Type Inference.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2019

Concurrent Typestate-Oriented Programming in Java.

[BibT_eX]

[DOI]

Rosita Gerbo

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

Foundations of Session Types: 10 Years Later.

[BibT_eX]

[DOI]

Elena Giachino

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Deadlock Analysis of Wait-Notify Coordination.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Deadlock-Free Typestate-Oriented Programming.

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2018

A type checking algorithm for concurrent object protocols.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

A core calculus for dynamic delta-oriented programming.

[BibT_eX]

[DOI]

Acta Informatica, 2018

Mailbox Types for Unordered Interactions.

[BibT_eX]

[DOI]

Ugo de'Liguoro

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

The Chemical Approach to Typestate-Oriented Programming.

[BibT_eX]

[DOI]

Silvia Crafa

ACM Trans. Program. Lang. Syst., 2017

Chaperone contracts for higher-order sessions.

[BibT_eX]

[DOI]

Hernán C. Melgratti

Proc. ACM Program. Lang., 2017

On Sessions and Infinite Data.

[BibT_eX]

[DOI]

Paula Severi

Emilio Tuosto

Log. Methods Comput. Sci., 2017

A simple library implementation of binary sessions.

[BibT_eX]

[DOI]

J. Funct. Program., 2017

2016

Fair subtyping for multi-party session types.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2016

Global progress for dynamically interleaved multiparty sessions.

[BibT_eX]

[DOI]

Mario Coppo

Nobuko Yoshida

Math. Struct. Comput. Sci., 2016

Behavioral Types in Programming Languages.

[BibT_eX]

[DOI]

Found. Trends Program. Lang., 2016

Foundations of Session Types and Behavioural Contracts.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2016

On the chemistry of typestate-oriented actors.

[BibT_eX]

[DOI]

Silvia Crafa

CoRR, 2016

2015

An algebraic theory for web service contracts.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

Type Reconstruction for the Linear π-Calculus with Composite Regular Types.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

A Gentle Introduction to Multiparty Asynchronous Session Types.

[BibT_eX]

[DOI]

Mario Coppo

Nobuko Yoshida

Proceedings of the Formal Methods for Multicore Programming, 2015

Types for Deadlock-Free Higher-Order Programs.

[BibT_eX]

[DOI]

Luca Novara

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.

[BibT_eX]

[DOI]

Tzu-Chun Chen

Andrea Tosatto

Proceedings of the Coordination Models and Languages, 2015

2014

Exception handling for copyless messaging.

[BibT_eX]

[DOI]

Svetlana Jaksic

Sci. Comput. Program., 2014

Session Type Isomorphisms.

[BibT_eX]

[DOI]

Jovanka Pantovic

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

[BibT_eX]

[DOI]

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Deadlock and lock freedom in the linear π-calculus.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Typing Liveness in Multiparty Communicating Systems.

[BibT_eX]

[DOI]

Vasco Thudichum Vasconcelos

Hugo Torres Vieira

Proceedings of the Coordination Models and Languages, 2014

2013

From Lock Freedom to Progress Using Session Types.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

Fair Subtyping for Open Session Types.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language.

[BibT_eX]

[DOI]

Andrea Tosatto

Proceedings of the Formal Techniques for Distributed Systems, 2013

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.

[BibT_eX]

[DOI]

Mario Coppo

Nobuko Yoshida

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012

On projecting processes into session types.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2012

On Global Types and Multi-Party Session

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Typing Copyless Message Passing

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

A formal foundation for dynamic delta-oriented software product lines.

[BibT_eX]

[DOI]

Ferruccio Damiani

Ina Schaefer

Proceedings of the Generative Programming and Component Engineering, 2012

2011

Polymorphic Endpoint Types for Copyless Message Passing

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

On Global Types and Multi-party Sessions.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

Typing Copyless Message Passing.

[BibT_eX]

[DOI]

Chiara Messa

Proceedings of the Programming Languages and Systems, 2011

2010

Contract-based discovery of Web services modulo simple orchestrators.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Session Types = Intersection Types + Union Types

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

2009

A theory of contracts for Web services.

[BibT_eX]

[DOI]

Nils Gesbert

ACM Trans. Program. Lang. Syst., 2009

PiDuce - A project for experimenting Web services technologies.

[BibT_eX]

[DOI]

Samuele Carpineti

Sci. Comput. Program., 2009

Session Types at the Mirror

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

Contract-Based Discovery and Adaptation of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Web Services, 2009

Foundations of session types.

[BibT_eX]

[DOI]

Elena Giachino

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Contracts for Mobile Processes.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Contract-Directed Synthesis of Simple Orchestrators.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

The Pairing of Contracts and Session Types.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.

[BibT_eX]

[DOI]

Marco Bernardo

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

The Must Preorder Revisited.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

A Formal Account of Contracts for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

From Notation to Semantics: There and Back Again.

[BibT_eX]

[DOI]

Stefano Zacchiroli

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Smooth Orchestrators.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005

A Distributed Implementation of Mobile Nets as Mobile Agents.

[BibT_eX]

[DOI]

Nadia Busi

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

Compilation of Generic Regular Path Expressions Using C++ Class Templates.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 14th International Conference, 2005

2004

Interactive Editing of MathML Markup Using TEX Syntax.

[BibT_eX]

[DOI]

Proceedings of the TeX, 2004

An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics.

[BibT_eX]

[DOI]

Riccardo Solmi

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Qsmodels: ASP Planning in Interactive Gaming Environment.

[BibT_eX]

[DOI]

Alessandro Provetti

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

A Generative Approach to the Implementation of Language Bindings for the Document Object Model.

[BibT_eX]

[DOI]

Stefano Zacchiroli

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2003

Mathematical Knowledge Management in HELM.

[BibT_eX]

[DOI]

Andrea Asperti

Ferruccio Guidi

Irene Schena

Ann. Math. Artif. Intell., 2003

On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

2001

HELM and the Semantic Math-Web.

[BibT_eX]

[DOI]

Andrea Asperti

Irene Schena

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

The Gnome DOM Engine.

[BibT_eX]

[DOI]

Paolo Casarini

Proceedings of the Extreme Markup Languages® 2001 Conference, 2001

XML, Stylesheets and the Re-mathematization of Formal Content.

[BibT_eX]

[DOI]

Andrea Asperti