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 two relations, representing the idea of sub-behaviour from the point of view of the client and the server, respectively, and characterize the sub-behaviour relation (from the literature) as the intersection of the other two. We show that a proper subclass of behaviours, called "session behaviors", and the sub-behaviour relations model session types and subtyping, clarifying the otherwise problematic extension of session type subtyping with concepts from the theory of contracts. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1145/1836089.1836109 | PPDP |
Keywords | Field | DocType |
sub-behaviour relations model session,session-based client,web contract,problematic extension,session behavior,sub-behaviour relation,behavioural semantics,server system,proper subclass,session type,coinduction,client server,relational model | Programming language,Computer science,Client server systems,Theoretical computer science,Subtyping,Semantics | Conference |
Citations | PageRank | References |
28 | 0.93 | 23 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franco Barbanera | 1 | 357 | 35.14 |
Ugo de'Liguoro | 2 | 251 | 23.50 |