Two notions of sub-behaviour for session-based client/server systems: 10 Years Later

Abstract

Wewish to begin this short overview of our work on relating session types to contract theory by expressing our gratitude to the PPDP Steering Committee, for awarding our paper [1] with the “PPDP 10 Year Most Influential Paper Award” of this year. At the same time we would like to state that we are not expecting to have introduced new ideas, nor to have opened unforeseen perspectives on the subject. Rather we have contributed to frame ideas coming from different sources in a couple of conceptually simple constructions, participating to a fruitful debate and a choral work lasting more than twenty years, and still going on.