Results 21 to 30 of about 14,163,398 (293)
Rast: A Language for Resource-Aware Session Types [PDF]
Logical Methods in Computer Science, 2022 Traditional session types prescribe bidirectional communication protocols for concurrent computations, where well-typed programs are guaranteed to adhere to the protocols.
Ankush Das, Frank Pfenning
doaj +3 more sources
Crash-Stop Failures in Asynchronous Multiparty Session Types [PDF]
Logical Methods in Computer Science, 2023 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 world.
Adam D. Barwell +3 more
doaj +3 more sources
On the Preciseness of Subtyping in Session Types [PDF]
Logical Methods in Computer Science, 2017 Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. The correctness of subtyping relations has been usually provided as the soundness for type safety.
Tzu-chun Chen +3 more
doaj +6 more sources
Label-dependent session types [PDF]
Proceedings of the ACM on Programming Languages, 2019 Session types have emerged as a typing discipline for communication protocols. Existing calculi with session types come equipped with many different primitives that combine communication with the introduction or elimination of the transmitted value. We present a foundational session type calculus with a lightweight operational semantics.
Peter Thiemann 0001 +1 more
openaire +5 more sources
Embedding Session Types in HML [PDF]
Electronic Proceedings in Theoretical Computer Science, 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.
Laura Bocchi, Romain Demangeon
doaj +5 more sources
A Logical Account of Subtyping for Session Types [PDF]
PLACES@ETAPS, 2023 We study the notion of subtyping for session types in a logical setting, where session types are propositions of multiplicative/additive linear logic extended with least and greatest fixed points.
Ross Horne, L. Padovani
semanticscholar +1 more source
Subtyping Context-Free Session Types [PDF]
International Conference on Concurrency Theory, 2023 Context-free session types describe structured patterns of communication on heterogeneously-typed channels, allowing the specification of protocols unconstrained by tail recursion.
G. Silva +2 more
semanticscholar +1 more source
Fair Refinement for Asynchronous Session Types [PDF]
Foundations of Software Science and Computation Structures24th International Conference, 2021 Session types are widely used as abstractions of asynchronous message passing systems. Refinement for such abstractions is crucial as it allows improvements of a given component without compromising its compatibility with the rest of the system.
Bravetti M, Lange J, Zavattaro G.
europepmc +2 more sources
EXPRESSing Session Types [PDF]
Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics, 2023 To celebrate the 30th edition of EXPRESS and the 20th edition of SOS we overview how session types can be expressed in a type theory for the standard $\pi$-calculus by means of a suitable encoding. The encoding allows one to reuse results about the $\pi$-
Ilaria Castellani +3 more
semanticscholar +1 more source
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types [PDF]
Dagstuhl Artifacts Ser., 2022 Communicating systems comprise diverse software components across networks. To ensure their robustness, modern programming languages such as Rust provide both strongly typed channels, whose usage is guaranteed to be affine (at most once), and ...
Nicolas Lagaillardie +2 more
semanticscholar +1 more source