Results 31 to 40 of about 14,163,398 (293)
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report) [PDF]
International Conference on Concurrency Theory, 2022 Session types enable the specification and verification of communicating systems. However, their theory often assumes that processes never fail. To address this limitation, we present a generalised multiparty session type (MPST) theory with crash-stop ...
Adam D. Barwell +3 more
semanticscholar +1 more source
Deadlock-free asynchronous message reordering in rust with multiparty session types [PDF]
ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, 2021 Rust is a modern systems language focused on performance and reliability. Complementing Rust's promise to provide "fearless concurrency", developers frequently exploit asynchronous message passing.
Zak Cutner, N. Yoshida, Martin Vassor
semanticscholar +1 more source
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom [PDF]
Logic in Computer Science, 2021 We investigate how different fairness assumptions affect results concerning lock-freedom, a typical liveness property targeted by session type systems. We fix a minimal session calculus and systematically take into account all known fairness assumptions,
R. V. Glabbeek, P. Höfner, Ross Horne
semanticscholar +1 more source
Deadlock-free session types in linear Haskell [PDF]
ACM SIGPLAN Symposium/Workshop on Haskell, 2021 Priority Sesh is a library for session-typed communication in Linear Haskell which offers strong compile-time correctness guarantees. Priority Sesh offers two deadlock-free APIs for session-typed communication.
Wen Kokke, O. Dardha
semanticscholar +1 more source
Polymorphic lambda calculus with context-free session types [PDF]
Information and Computation, 2021 Context-free session types provide a typing discipline for recursive structured communication protocols on bidirectional channels. They overcome the restriction of regular session type systems to tail recursive protocols.
Bernardo Almeida +3 more
semanticscholar +1 more source
Relating Functional and Imperative Session Types [PDF]
Logical Methods in Computer Science, 2022 Imperative session types provide an imperative interface to session-typed communication. In such an interface, channel references are first-class objects with operations that change the typestate of the channel.
Hannes Saffrich, Peter Thiemann
doaj +1 more source
The Different Shades of Infinite Session Types [PDF]
Foundations of Software Science and Computation Structure, 2022 Many type systems include infinite types. In session type systems, which are the focus of this paper, infinite types are important because they allow the specification of communication protocols that are unbounded in time.
S. Gay, Diogo Poças, V. Vasconcelos
semanticscholar +1 more source
Validating IoT Devices with Rate-Based Session Types
Proc. ACM Program. Lang., 2023 We develop a session types based framework for implementing and validating rate-based message passing systems in Internet of Things (IoT) domains. To model the indefinite repetition present in many embedded and IoT systems, we introduce a timed process ...
Grant Iraci +3 more
semanticscholar +1 more source
Session Types = Intersection Types + Union Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 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
doaj +1 more source
On the Monitorability of Session Types, in Theory and Practice (Extended Version) [PDF]
European Conference on Object-Oriented Programming, 2021 In concurrent and distributed systems, software components are expected to communicate according to predetermined protocols and APIs - and if a component does not observe them, the system's reliability is compromised.
Saverio Giallorenzo +5 more
semanticscholar +1 more source