Luca Padovani

Available identifiers

zbMath Open padovani.lucaMaRDI QIDQ493533

List of research outcomes

Publication	Date of Publication	Type
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types	2022-10-06	Paper
Probabilistic Analysis of Binary Sessions	2022-07-18	Paper
A Distributed Implementation of Mobile Nets as Mobile Agents	2021-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4964693	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q5150075	2021-02-09	Paper
A type checking algorithm for concurrent object protocols	2018-10-01	Paper
A core calculus for dynamic delta-oriented programming	2018-06-26	Paper
Deadlock and lock freedom in the linear π-calculus	2018-04-23	Paper
A simple library implementation of binary sessions	2017-10-23	Paper
On Sessions and Infinite Data	2017-06-22	Paper
Context-Free Session Type Inference	2017-05-19	Paper
Types for Deadlock-Free Higher-Order Programs	2016-10-19	Paper
A Gentle Introduction to Multiparty Asynchronous Session Types	2016-10-04	Paper
Global progress for dynamically interleaved multiparty sessions	2016-07-28	Paper
Fair subtyping for multi-party session types	2016-07-28	Paper
Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types	2016-01-07	Paper
An algebraic theory for web service contracts	2015-09-03	Paper
A theory of contracts for web services	2014-09-12	Paper
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types	2014-04-16	Paper
Exception handling for copyless messaging	2014-03-25	Paper
Fair Subtyping for Open Session Types	2013-08-07	Paper
On projecting processes into session types	2012-05-11	Paper
On Global Types and Multi-Party Session	2012-04-03	Paper
Typing Copyless Message Passing	2012-04-03	Paper
Typing Copyless Message Passing	2011-05-19	Paper
Contract-based discovery of Web services modulo simple orchestrators	2010-08-24	Paper
Contracts for Mobile Processes	2009-10-22	Paper
PiDuce- A project for experimenting web services technologies	2009-08-21	Paper
Contract-Directed Synthesis of Simple Orchestrators	2008-11-25	Paper
The Must Preorder Revisited	2008-09-18	Paper
The Pairing of Contracts and Session Types	2008-06-19	Paper
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders	2007-11-28	Paper
From Notation to Semantics: There and Back Again	2007-09-05	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Mathematical Knowledge Management	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4413882	2003-07-21	Paper
Mathematical knowledge management in HELM	2003-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4790651	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q2767919	2002-02-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luca Padovani