The following pages link to Luca Padovani (Q493533):
Displaying 43 items.
- An algebraic theory for web service contracts (Q493534) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- A core calculus for dynamic delta-oriented programming (Q1647772) (← links)
- A type checking algorithm for concurrent object protocols (Q1785846) (← links)
- Mathematical knowledge management in HELM (Q1810904) (← links)
- Exception handling for copyless messaging (Q2441510) (← links)
- (Q2767919) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Types for Deadlock-Free Higher-Order Programs (Q2827445) (← links)
- On Global Types and Multi-Party Session (Q2881091) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- A theory of contracts for web services (Q3189845) (← links)
- Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types (Q3460415) (← links)
- The Pairing of Contracts and Session Types (Q3507396) (← links)
- The Must Preorder Revisited (Q3525639) (← links)
- Contract-Directed Synthesis of Simple Orchestrators (Q3541015) (← links)
- (Q4413882) (← links)
- Deadlock and lock freedom in the linear π-calculus (Q4635657) (← links)
- (Q4790651) (← links)
- (Q4964693) (← links)
- A Distributed Implementation of Mobile Nets as Mobile Agents (Q4989031) (← links)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- (Q5150075) (← links)
- On Sessions and Infinite Data (Q5270091) (← links)
- Mathematical Knowledge Management (Q5313070) (← links)
- Fair Subtyping for Open Session Types (Q5327448) (← links)
- A simple library implementation of binary sessions (Q5371999) (← links)
- Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types (Q5410666) (← links)
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders (Q5428916) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
- Fair subtyping for multi-party session types (Q5741567) (← links)
- From Notation to Semantics: There and Back Again (Q5756753) (← links)
- Typing Copyless Message Passing (Q5891509) (← links)
- Typing Copyless Message Passing (Q5892489) (← links)
- Foundations of Software Science and Computation Structures (Q5899078) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- An infinitary proof theory of linear logic ensuring fair termination in the linear \(\pi\)-calculus (Q6587146) (← links)
- A logical account of subtyping for session types (Q6615560) (← links)
- On the fair termination of client-server sessions (Q6643032) (← links)
