Results 21 to 30 of about 5,211,336 (107)

Recursive session types revisited [PDF]

, 2014
Session types model structured communication-based programming. In particular, binary session types for the pi-calculus describe communication between exactly two participants in a distributed scenario. Adding sessions to the pi-calculus means augmenting
Dardha, Ornela, Ornela Dardha
core   +1 more source

Foundation of Session Types [PDF]

, 2009
International audienceSessions are a common and widespread mechanism of interaction in distributed architectures. Two processes wanting to interact establish a connection on a common public channel.
Luca Padovani, Elena Giachino, M. Dezani Ciancaglini, Dezani-Ciancaglini, Mariangiola, G. Castagna, L. Padovani, Castagna, Giuseppe, Giuseppe Castagna, Padovani, Luca, DEZANI, Mariangiola, Mariangiola Dezani-Ciancaglini, Giachino, Elena   +11 more
core   +1 more source

Timed session types [PDF]

, 2017
Timed session types formalise timed communication protocols between two participants at the endpoints of a session. They feature a decidable compliance relation, which generalises to the timed setting the progress-based compliance between untimed session
Maurizio Murgia, Tiziana Cimoli, Murgia, Maurizio, Massimo Bartoletti, Bartoletti, Massimo, Cimoli, Tiziana   +5 more
core   +1 more source

Different Types Of Cheekbones

, 2021
Types Of Cheekbones who as of now have high cheekbones yet need to decrease their unmistakable quality and distract from them? Per Elizabeth Mott and Byrdie, individuals with high, noticeable cheekbones are bound to have more grounded face shapes like ...
Types Of Cheekbones
core   +1 more source

ALEX: Improving SIP Support in Systems with Multiple Network Addresses [PDF]

, 2005
The successful and increasingly adopted session initiation protocol (SIP) does not adequately support hosts with multiple network addresses, such as dual-stack (IPv4-IPv6) or IPv6 multi-homed devices. This paper presents the Address List Extension (ALEX)
F. Risso, Baldi, Mario, Marinone, F., Risso, Fulvio Giovanni Ottavio, M. Baldi, Torrero, Livio, F. Marinone, L. Torrero, MARINONE F   +8 more
core   +1 more source

Label-dependent session types

, 2020
Session types have emerged as a typing discipline for communication protocols. Existing calculi with session types come equipped with many different primitives that combine communication with the introduction or elimination of the transmitted value.We ...
Thiemann, Peter, Vasconcelos, Vasco T.
core   +1 more source

Objects and session types [PDF]

, 2009
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other.
Yoshida, Nobuko, Dezani-Ciancaglini, Mariangiola, Drossopoulou, Sophia, Mostrous, Dimitris   +3 more
core   +1 more source

Minimal Session Types (Artifact) [PDF]

, 2019
This artifact contains MISTY, a tool that decomposes message-passing programs with session types into programs typable with the minimal session types we introduce in our ECOOP paper.
Pérez, Jorge A., Arslanagić, Alen, Voogd, Erik   +2 more
core   +1 more source

Gradual Session Types [PDF]

, 2017
Session types are a rich type discipline, based on linear types, that lifts the sort of safety claims that come with type systems to communications. However, web-based applications and microservices are often written in a mix of languages, with type ...
Philip Wadler, Igarashi, Atsushi, Wadler, Philip, Vasco T. Vasconcelos, Vasconcelos, Vasco, Thiemann, Peter, Atsushi Igarashi, Peter Thiemann   +7 more
core   +1 more source

Linearly Refined Session Types [PDF]

, 2012
Session types capture precise protocol structure in concurrent programming, but do not specify properties of the exchanged values beyond their basic type.
Vasco T. Vasconcelos, Dimitris Mostrous, Pedro Baltazar   +2 more
core   +1 more source