Results 61 to 70 of about 14,163,398 (293)
Session Type Isomorphisms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In Proceedings PLACES 2014, arXiv:1406 ...
Mariangiola Dezani-Ciancaglini +2 more
openaire +5 more sources
Session Types in Abelian Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 There was a PhD student who says "I found a pair of wooden shoes. I put a coin in the left and a key in the right. Next morning, I found those objects in the opposite shoes." We do not claim existence of such shoes, but propose a similar programming ...
Yoichi Hirai
doaj +1 more source
On Global Types and Multi-Party Session [PDF]
Logical Methods in Computer Science, 2012 Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are ...
Giuseppe Castagna +2 more
doaj +1 more source
Fundamentals of Session Types [PDF]
Information and Computation, 2009 The author reconstructs session types, i.e., types for processes that interact according to a protocol, as a type system for a linear pi calculus. Readability of the paper is improved by introducing concepts gradually. The presentation is reasonably self-contained, but, as the paper has few motivating examples, some prior familiarity with pi calculus ...
openaire +2 more sources
Intersections and Unions of Session Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Prior work has extended the deep, logical connection between the linear sequent calculus and session-typed message-passing concurrent computation with equi-recursive types and a natural notion of subtyping.
Coşku Acay, Frank Pfenning
doaj +1 more source
Multiparty Session Types, Beyond Duality (Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Multiparty Session Types (MPST) are a well-established typing discipline for message-passing processes interacting on sessions involving two or more participants.
Alceste Scalas, Nobuko Yoshida
doaj +1 more source
Deciding the Bisimilarity of Context-Free Session Types [PDF]
Tools and Algorithms for the Construction and Analysis of Systems26th International Conference, 2020 We present an algorithm to decide the equivalence of context-free session types, practical to the point of being incorporated in a compiler. We prove its soundness and completeness. We further evaluate its behaviour in practice.
Almeida B, Mordido A, Vasconcelos V.
europepmc +2 more sources
Context-Free Session Types for Applied Pi-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We present a binary session type system using context-free session types to a version of the applied pi-calculus of Abadi et. al. where only base terms, constants and channels can be sent.
Jens Aagaard +3 more
doaj +1 more source
On Urgency in Asynchronous Timed Session Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We study an urgent semantics of asynchronous timed session types, where input actions happen as soon as possible. We show that with this semantics we can recover to the timed setting an appealing property of untimed session types: namely, deadlock ...
Maurizio Murgia
doaj +1 more source
Duality of Session Types: The Final Cut [PDF]
PLACES@ETAPS, 2020 Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been published.
S. Gay, Peter Thiemann, V. Vasconcelos
semanticscholar +1 more source