Results 31 to 40 of about 5,211,336 (107)
, 2009 We (re)define session types as projections of process behaviors with respect to the communication channels they use. In this setting, we give session types a semantics based on fair testing. The outcome is a unified theory of behavioral types that shares
Luca Padovani, Padovani, Luca
core +1 more source
Multiparty asynchronous session types [PDF]
, 2015 Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have been studied over the last decade for a wide range of process calculi and ...
Yoshida, N +5 more
core +1 more source
Multiparty asynchronous session types [PDF]
, 2007 Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have been studied over the last decade for a wide range of process calculi and ...
Yoshida, Nobuko +5 more
core +1 more source
The effect of post-exercise rating time on session RPE [PDF]
, 2012 This study evaluated the effect of post-exercise time on session rating of perceived exertion (sRPE) following steady-state and interval exercise bouts on a cycle ergometer.
Christen, Joshua D.
core
Synchronous Multiparty Session Types [PDF]
, 2009 Synchronous communication is useful to model multiparty sessions where control for timing events and strong sequentially order of messages are essential to the problem specification.
Yoshida, Nobuko +3 more
core +1 more source
, 2011 We show how systems of session types can enforce interactions to be bounded for all typable processes. The type system we propose is based on Lafont's soft linear logic and is strongly inspired by recent works about session types as intuitionistic linear
Di Giamberardino, Paolo +3 more
core +1 more source
A Minimal Formulation of Session Types
, 2023 Session types are a type-based approach to the verification of message-passing programs. They specify communication structures essential for program correctness; a session type says what and when should be exchanged through a channel.
Pérez, Jorge A. +2 more
core
Session Types for Link Failures
, 2017 International audienceWe strive to use session type technology to prove behavioural properties of fault-tolerant distributed algorithms. Session types are designed to abstractly capture the structure of (even multi-party) communication protocols.
Manuel Adameit +5 more
core +1 more source
An implementation of session types
, 2004 . A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying stream-based Internet protocols.
Matthias Neubauer +2 more
core
Minimal session types for the π-calculus [PDF]
Session types are a type-based approach to correct message-passing programs. A session type specifies a channel's protocol as sequences of exchanges. Aiming to uncover the essential notions of session-based concurrency, prior work defined minimal session
Pérez, Jorge A. +2 more
core +1 more source