2010
DOI: 10.1007/978-3-642-11623-0_5
View full text |Buy / Rent full text
|
Sign up to set email alerts
|

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 dual… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2010
2010
2014
2014

Publication Types

Select...
1
1

Relationship

2
0

Authors

Journals

citations
Cited by 3 publications
(3 citation statements)
references
References 20 publications
(54 reference statements)
0
3
0
Order By: Relevance
“…The use of polarities as superscripts of received and sent contracts in SB is justified by the asymmetry of the approach considered here: without marking received and sent contracts with polarities, incorrect situations easily arise (see also [2]). For instance, let us assume that a communicating agent is waiting for a component (or a channel) enabling an interaction as a client according to the behaviour σ.…”
Section: Ballotservice2beh S Ballotservicebehmentioning
confidence: 99%
“…Beside this, CSP-session types extend ordinary session types syntax because of polarities in the type semantics, while they have been used only for live variables in [16,23] as well as in our [2].…”
Section: Definition 311 (Semantic Subtyping)mentioning
confidence: 99%
“…As remarked in [BCdL10], however, when allowing session delegation, the direct formalisation of the idea that a subcontract can be the description of some "shorter interaction" (as it is in [CGP09]), leads to the collapse of the subtyping relation; this can be avoided at the price of considering subtyping and subcontract as different notions.…”
Section: Contractsmentioning
confidence: 99%