Results 11 to 20 of about 14,163,398 (293)
Programming Languages and Systems30th European Symposium on Programming, 2021 AbstractSession types statically describe communication protocols between concurrent message-passing processes. Unfortunately, parametric polymorphism even in its restricted prenex form is not fully understood in the context of session types. In this paper, we present the metatheory of session types extended with prenex polymorphism and, as a result ...
Das A, DeYoung H, Mordido A, Pfenning F.
europepmc +6 more sources
Exceptional asynchronous session types: session types without tiers [PDF]
Proceedings of the ACM on Programming Languages, 2019 Session types statically guarantee that communication complies with a protocol. However, most accounts of session typing do not account for failure, which means they are of limited use in real applications---especially distributed applications---where failure is pervasive.
Simon Fowler +2 more
exaly +6 more sources
Logical Methods in Computer Science, 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
Massimo Bartoletti +2 more
doaj +4 more sources
FTMPST: Fault-Tolerant Multiparty Session Types [PDF]
Logical Methods in Computer Science, 2023 Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e., the absence of deadlock.
Kirstin Peters +2 more
doaj +3 more sources
Session Types for Broadcasting [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Up to now session types have been used under the assumptions of point to point communication, to ensure the linearity of session endpoints, and reliable communication, to ensure send/receive duality.
Dimitrios Kouzapas +2 more
doaj +6 more sources
Probabilities in Session Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 This paper deals with the probabilistic behaviours of distributed systems described by a process calculus considering both probabilistic internal choices and nondeterministic external choices.
Bogdan Aman, Gabriel Ciobanu
doaj +4 more sources
Session Types as Generic Process Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Behavioural type systems ensure more than the usual safety guarantees of static analysis. They are based on the idea of "types-as-processes", providing dedicated type algebras for particular properties, ranging from protocol compatibility to race-freedom,
Simon J. Gay +2 more
doaj +6 more sources
Recursive Session Types Revisited [PDF]
Electronic Proceedings in Theoretical Computer Science, 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
Ornela Dardha
doaj +5 more sources
Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, 2021 This paper proposes an adaptation of session types to provide behavioural information about public functions in Elixir modules. We formalise typechecking rules for the main constructs of the language. This allows us to statically determine whether a function implementation observes its session endpoint specification.
Tabone, Gerard, Francalanza, Adrian
openaire +3 more sources
Session Types for Orchestrated Interactions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In the setting of the pi-calculus with binary sessions, we aim at relaxing the notion of duality of session types by the concept of retractable compliance developed in contract theory.
Franco Barbanera, Ugo de'Liguoro
doaj +5 more sources