DOI: 10.1007/978-3-642-11623-0_5
View full text
Franco Barbanera, Sara Capecchi, Ugo de’Liguoro

Abstract: Abstract. We investigate client-server interaction where duties and rights of the parties are asymmetric, in the sense that the client is allowed to abort any session before the server has completed, but not vice versa. This implies that the client can interact with any server offering at least what she is looking for, but possibly more. We formalize such asymmetry in the setting of session types via a form of subtyping in depth, which we call prefix relation. This is apparently conflicting with the rigid dua…

expand abstract