Typing Asymmetric Client-Server Interaction

Barbanera, Franco; Capecchi, Sara; de'Liguoro, Ugo

doi:10.1007/978-3-642-11623-0_5

Cited by 3 publications

(3 citation statements)

References 20 publications

(54 reference statements)

Supporting

Mentioning

Contrasting

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%

Sub-behaviour relations for session-based client/server systems

Barbanera

de'Liguoro

2014

Math. Struct. Comp. Sci.

Self Cite

View full text Add to dashboard Buy / Rent full text

We propose a refinement and a simplification of the behavioural semantics of session types, based on the concepts of compliance and subbehaviour from the theory of web contracts. We introduce three relations on a suitable class of behaviours with higher-order input/output, called "session behaviors". 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 characterizes the usual sub-behaviour relation (from the literature). We then device a formal system for three subtyping relations (dubbed CSPsubtyping) 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 behaviors and sub-behaviour relations provide a sound and complete semantics for CSP-subtyping (and for Gay and Hole subtyping as a by-product).

show abstract

“…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%

Sessions and Session Types: An Overview

Dezani-Ciancaglini

de'Liguoro

2010

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Buy / Rent full text

Abstract. We illustrate the concepts of sessions and session types as they have been developed in the setting of the π-calculus. Motivated by the goal of obtaining a formalisation closer to existing standards and aiming at their enhancement and strengthening, several extensions of the original core system have been proposed, which we survey together with the embodying of sessions into functional and object-oriented languages, as well as some implementations.

show abstract

Typing Asymmetric Client-Server Interaction

Cited by 3 publications

References 20 publications

Sub-behaviour relations for session-based client/server systems

Sessions and Session Types: An Overview

Contact Info

Product

Resources

About