Results 261 to 270 of about 14,163,398 (293)
Some of the next articles are maybe not open access.
On session types and polynomial time
Mathematical Structures in Computer Science, 2015We show how systems of session types can enforce interactions to take bounded time 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 logic formulas. Our main result is the existence, for every typable process, of a polynomial
DAL LAGO, UGO, Di Giamberardino, Paolo
openaire +4 more sources
An Implementation of Session Types
2004A 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.
Neubauer, Matthias, Thiemann, Peter
openaire +2 more sources
Session Types with Arithmetic Refinements and Their Application to Work Analysis
International Conference on Concurrency Theory, 2020Session types statically prescribe bidirectional communication protocols for message-passing processes and are in a Curry-Howard correspondence with linear logic propositions.
Ankush Das, F. Pfenning
semanticscholar +1 more source
Session-Typed Concurrent Contracts
2021Multi-process systems control the behavior of everything from datacenters storing our information to banking systems managing money. Each one of these processes has a prescribed role, their contract, that governs their behavior during the joint computation.
openaire +1 more source
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Dagstuhl Artifacts Ser., 2022G. Cledou +3 more
semanticscholar +1 more source
Characteristic Formulae for Session Types
2016Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language implementations. In this paper, we study effective ways to check whether a session type is a subtype of another by applying a characteristic formulae approach to the problem.
Julien Lange, Nobuko Yoshida
openaire +1 more source
Structuring Communication with Session Types
2014Session types are types for distributed communicating processes. They were born from process encodings of data structures and typical interaction scenarios in an asynchronous version of the π-calculus, and are being studied and developed as a potential basis for structuring concurrent and distributed computing, as well as in their own right.
Kohei Honda 0001 +6 more
openaire +1 more source
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)
Dagstuhl Artifacts Ser., 2021P. Harvey, S. Fowler, O. Dardha, S. Gay
semanticscholar +1 more source
G3SR: Global Graph Guided Session-Based Recommendation
IEEE Transactions on Neural Networks and Learning Systems, 2023Zhi-Hong Deng +2 more
exaly