Paper Info
Title
Sub-behaviour relations for session-based client/server systems.
Abstract
We propose a refinement and a simplification of the behavioural semantics of session types, based on the concepts of compliance and sub-behaviour from the theory of web contracts. We introduce three relations on a suitable class of behaviours with higher-order input/output, called 'session behaviours'. Such relations, depending on each other, represent the idea of sub-behaviour from the point of view of a client, a server or a peer, respectively. A restriction of the intersection of the first two relations characterizes the 'usual' sub-behaviour relation from the literature. We then device an algorithmic formal system for three subtyping relations (dubbed CSP-subtyping) for session types that takes into account the role played by a user of a channel during an interaction, so extending Gay and Hole subtyping theory. We show that our session behaviours and sub-behaviour relations provide sound and complete semantics for CSP-subtyping, and for Gay and Hole subtyping as a by-product.
Year
DOI
Venue
2015
10.1017/S096012951400005X
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
DocType
Volume
Issue
Journal
25
6
ISSN
Citations 
PageRank 
0960-1295
1
0.36
References 
Authors
0
2
Name
Order
Citations
PageRank
Franco Barbanera135735.14
Ugo de'Liguoro225123.50