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 duality imposed by session types; nonetheless the resulting system retains all
basic correctness properties.
Moreover, the system we propose highlights interesting aspects concerning the flow of communication inside a session. In particular
it reveals that usual subtyping theories cannot be extended by means of prefix, which turns out to be a different concept.
|
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-11623-0_5 | Fundamentals of Software Engineering |
Keywords | Field | DocType |
subtyping,highlights interesting aspect,rigid duality,asymmetric client-server interaction,contro/covariance.,client/ server interaction protocols,session type,session types,process calculi,type systems,prefix relation,resulting system,usual subtyping theory,different concept,server offering,basic correctness property,client-server interaction,type system,client server | Abort,Computer science,Correctness,Theoretical computer science,Prefix,Duality (optimization),Subtyping,Versa,Process calculus,Distributed computing,Client–server model | Conference |
Volume | ISSN | ISBN |
5961 | 0302-9743 | 3-642-11622-1 |
Citations | PageRank | References |
2 | 0.38 | 15 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franco Barbanera | 1 | 357 | 35.14 |
Sara Capecchi | 2 | 144 | 12.52 |
Ugo de’Liguoro | 3 | 15 | 1.83 |