Results 11 to 20 of about 5,211,336 (107)
, 2012 Session types are a formalism to model structured communication-based programming. A session type describes communication by specifying the type and direction of data exchanged between two parties.
Dardha, Ornela +5 more
core +4 more sources
, 2023 We introduce Regular Session Types (RST), a (binary, synchronous, classical) session-typed calculus for which we prove a direct correspondence with regular languages, in addition to progress and preservation.
Friedman, Alex
core +3 more sources
Embedding Session Types in HML [PDF]
, 2013 Recent work on the enhancement of multiparty session types with logical annotations enable the effective verification of properties on (1) the structure of the conversations, (2) the sorts of the messages, and (3) the actual values exchanged.
Bocchi, Laura +3 more
core +1 more source
Session Types = Intersection Types + Union Types [PDF]
, 2011 We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting ...
Luca Padovani, Padovani, Luca
core +1 more source
Timed Runtime Monitoring for Multiparty Conversations [PDF]
, 2014 We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial ...
Yoshida, N +8 more
core +1 more source
Minimal session types for the €-calculus [PDF]
, 2021 Session types enable the static verification of message-passing programs. A session type specifies a channel's protocol as sequences of messages. Prior work established a minimality result: every process typable with standard session types can be ...
Pérez, Jorge A. +8 more
core +3 more sources
, 2014 International audienceMultiparty session types allow the definition of distributed processes with strong communication safety properties. A global type is a choreographic specification of the interactions between peers, which is then projected locally in
Südholt, Mario +5 more
core +1 more source
Minimal Session Types (Pearl) [PDF]
, 2019 Session types are a type-based approach to the verification of message-passing programs. They have been much studied as type systems for the pi-calculus and for languages such as Java.
Pérez, Jorge A. +3 more
core +1 more source
Modular session types for objects [PDF]
, 2015 Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on session types for distributed object-oriented languages in three ways. (1)
Simon J. Gay +10 more
core +1 more source
Session Types as Generic Process Types [PDF]
, 2014 International audienceBehavioural 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 ...
Simon J. Gay +5 more
core +1 more source