Results 51 to 60 of about 14,163,398 (293)
Communication-safe web programming in TypeScript with routed multiparty session types [PDF]
International Conference on Compiler Construction, 2021 Modern web programming involves coordinating interactions between browser clients and a server. Typically, the interactions in web-based distributed systems are informally described, making it hard to ensure correctness, especially communication safety ...
Anson Miu +4 more
semanticscholar +1 more source
Proceedings of the 13th international conference on Modularity, 2014 Multiparty session types allow the definition of distributed processes with strong communication safety properties. A global type is a choreographic specification of the interactions between peers, which is then projected locally in each peer. Well-typed processes behave accordingly to the global protocol specification.
Tabareau, Nicolas +2 more
openaire +1 more source
Parameterised Multiparty Session Types [PDF]
Logical Methods in Computer Science, 2012 For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time.
Pierre-Malo Denielou +3 more
doaj +1 more source
Proceedings of the ACM on Programming Languages, 2017 Session types are a rich type discipline, based on linear types, that lift the sort of safety claims that come with type systems to communications. However, web-based applications and micro services are often written in a mix of languages, with type disciplines in a spectrum between static and dynamic typing.
Atsushi Igarashi +3 more
openaire +3 more sources
Sessions and Session Types: An Overview [PDF]
, 2010 We illustrate the concepts of sessions and session types as they have been developed in the setting of the π-calculus. Motivated by the goal of obtaining a formalisation closer to existing standards and aiming at their enhancement and strengthening, several extensions of the original core system have been proposed, which we survey together with the ...
Mariangiola Dezani-Ciancaglini +1 more
openaire +1 more source
Modular session types for objects [PDF]
Logical Methods in Computer Science, 2015 Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on session types for distributed object-oriented languages in three ways. (1)
Simon J. Gay +3 more
doaj +1 more source
EMTST: Engineering the Meta-theory of Session Types [PDF]
Tools and Algorithms for the Construction and Analysis of Systems26th International Conference, 2020 Session types provide a principled programming discipline for structured interactions. They represent a wide spectrum of type-systems for concurrency. Their type safety is thus extremely important.
Castro D, Ferreira F, Yoshida N.
europepmc +2 more sources
Session Types at the Mirror [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We (re)define session types as projections of process behaviors with respect to the communication channels they use. In this setting, we give session types a semantics based on fair testing. The outcome is a unified theory of behavioral types that shares
Luca Padovani
doaj +1 more source
Minimal Session Types for the π-calculus [PDF]
23rd International Symposium on Principles and Practice of Declarative Programming, 2021 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alen Arslanagic +2 more
openaire +4 more sources
Parameterized Concurrent Multi-Party Session Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Session types have been proposed as a means of statically verifying implementations of communication protocols. Although prior work has been successful in verifying some classes of protocols, it does not cope well with parameterized, multi-actor ...
Minas Charalambides +2 more
doaj +1 more source