Zobrazeno 1 - 10
of 4 920
pro vyhledávání: '"Session Types"'
Multiparty session types provide a type discipline for ensuring communication safety, deadlock-freedom and liveness for multiple concurrently running participants. The original formulation of MPST takes the top-down approach, where a global type spec
Externí odkaz:
http://arxiv.org/abs/2411.07452
Multiparty Session Types (MPSTs) offer a structured way of specifying communication protocols and guarantee relevant communication properties, such as deadlock-freedom. In this paper, we extend a minimal MPST system with quantum data and operations,
Externí odkaz:
http://arxiv.org/abs/2409.11133
Autor:
Marshall, Danielle a, b, ⁎, Orchard, Dominic a, c
Publikováno v:
In Information and Computation December 2024 301 Part A
Publikováno v:
EPTCS 401, 2024, pp. 49-60
Session types are a type discipline for describing and specifying communication behaviours of concurrent processes. Session subtyping, firstly introduced by Gay and Hole, is widely used for enlarging typability of session programs. This paper gives t
Externí odkaz:
http://arxiv.org/abs/2404.05480
Publikováno v:
EPTCS 401, 2024, pp. 22-36
Session types are a typing discipline used to formally describe communication-driven applications with the aim of fewer errors and easier debugging later into the life cycle of the software. Protocols at the transport layer such as TCP, UDP, and QUIC
Externí odkaz:
http://arxiv.org/abs/2404.05478
Session types are a type discipline for describing and specifying communication behaviours of concurrent processes. Session subtyping, firstly introduced by Gay and Hole, is widely used for enlarging typability of session programs. This paper gives t
Externí odkaz:
http://arxiv.org/abs/2402.06988
Publikováno v:
EPTCS 401, 2024, pp. 1-10
We explore the integration of metaprogramming in a call-by-value linear lambda-calculus and sketch its extension to a session type system. We build on a model of contextual modal type theory with multi-level contexts, where contextual values, closing
Externí odkaz:
http://arxiv.org/abs/2404.05475
Mixed-choice has long been barred from models of asynchronous communication since it compromises the decidability of key properties of communicating finite-state machines. Session types inherit this restriction, which precludes them from fully modell
Externí odkaz:
http://arxiv.org/abs/2401.11197
Session types provide a typing discipline for message-passing systems. However, their theory often assumes an ideal world: one in which everything is reliable and without failures. Yet this is in stark contrast with distributed systems in the real wo
Externí odkaz:
http://arxiv.org/abs/2311.11851
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.