Filters








163 Hits in 3.0 sec

Multiparty Session Types, Beyond Duality (Abstract)

Alceste Scalas, Nobuko Yoshida
2017 Electronic Proceedings in Theoretical Computer Science  
Multiparty Session Types (MPST) are a well-established typing discipline for message-passing processes interacting on sessions involving two or more participants.  ...  Session typing can ensure desirable properties: absence of communication errors and deadlocks, and protocol conformance.  ...  Multiparty Session Types (MPST) are a well-established typing discipline for message-passing processes interacting on sessions involving two or more participants.  ... 
doi:10.4204/eptcs.246.7 fatcat:tz77hidpwbf55eckcjf7yjbm4a

Multiparty session types, beyond duality

Alceste Scalas, Nobuko Yoshida
2018 Journal of Logical and Algebraic Methods in Programming  
Multiparty Session Types (MPST) are a well-established typing discipline for messagepassing processes interacting on sessions involving two or more participants.  ...  Unlike "classic" MPST works, our typing system does not depend on global session types, and does not use syntactic duality checks.  ...  Multiparty session typing, beyond duality and consistency We now introduce our new multiparty session typing system.  ... 
doi:10.1016/j.jlamp.2018.01.001 fatcat:w2e3mpd4gvhuhfovubhqx7efue

Multiparty session types as coherence proofs

Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
2016 Acta Informatica  
In this framework, propositions correspond to the local behaviour of a participant in a multiparty session type, proofs to processes, and proof normalisation to executing communications.  ...  We propose a Curry-Howard correspondence between a language for programming multiparty sessions and a generalisation of Classical Linear Logic (CLL).  ...  MCP goes beyond the original multiparty session types [17] , capturing also multicasting and nested protocols [12, 13] . For example, we can enhance the 2-buyer protocol as: 1.  ... 
doi:10.1007/s00236-016-0285-y fatcat:poabkwexdrb5fmfuoen5jmb4au

On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings [article]

Bernardo Toninho, Nobuko Yoshida
2018 arXiv   pre-print
This work exploits the logical foundation of session types to determine what kind of type discipline for the pi-calculus can exactly capture, and is captured by, lambda-calculus behaviours.  ...  We are then able to derive results of the session calculus from the theory of the lambda-calculus: (1) we obtain a characterisation of inductive and coinductive session types via their algebraic representations  ...  Future work includes extensions to the classical linear logic-based framework, including multiparty session types [10, 11] .  ... 
arXiv:1711.00878v2 fatcat:lt2bb2yipfbmhgecmeswfng3im

On Duality Relations for Session Types [chapter]

Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
2014 Lecture Notes in Computer Science  
A key notion is that of duality: the endpoints of a session channel should have dual session types in order to guarantee communication safety.  ...  Session types are a type formalism used to describe communication protocols over private session channels. Each participant in a binary session owns one endpoint of a session channel.  ...  Dardha, Gay and Kouzapas are supported by the UK EPSRC project From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD) (EP/K034413/1).  ... 
doi:10.1007/978-3-662-45917-1_4 fatcat:veqsugk55jh2xmd7iq2ugdxoau

Classical Higher-Order Processes [chapter]

Fabrizio Montesi
2017 Lecture Notes in Computer Science  
Speci cally, we discuss how to implement higher-order I/O primitives with continuations and multiparty sessions.  ...  We also illustrate the expressivity of CHOP through examples, derivable syntax sugar, and an extension to multiparty sessions.  ...  Multiparty session types allow for typing sessions with more than two participants.  ... 
doi:10.1007/978-3-319-60225-7_12 fatcat:tf2q3q2wjzd4pj5ydniyijkvpe

Certifying Data in Multiparty Session Types [chapter]

Bernardo Toninho, Nobuko Yoshida
2016 Lecture Notes in Computer Science  
Multiparty session types (MPST) are a typing discipline for ensuring the coordination of multi-agent communication in concurrent and distributed programs.  ...  The framework ensures the absence of communication errors and guarantees communication progress in well-typed multiparty sessions.  ...  Value dependent multiparty session types This section introduces the extension of value dependencies to the multiparty session types framework.  ... 
doi:10.1007/978-3-319-30936-1_23 fatcat:ug5bjoecw5edfiocnh4vwjltbe

Classical Higher-Order Processes [article]

Fabrizio Montesi
2018 arXiv   pre-print
We also illustrate the expressivity of CHOP through examples, derivable syntax sugar, and an extension to multiparty sessions.  ...  Its construction builds on a recent propositions as types correspondence between session types and propositions in linear logic.  ...  theory of multiparty session types by .  ... 
arXiv:1802.02917v1 fatcat:dyd2udjjyfbppgxwwpwehjr6qm

Certifying data in multiparty session types

Bernardo Toninho, Nobuko Yoshida
2017 Journal of Logical and Algebraic Methods in Programming  
Multiparty session types (MPST) are a typing discipline for ensuring the coordination and orchestration of multi-agent communication in concurrent and distributed programs.  ...  value dependent types for multiparty sessions.  ...  To overcome this issue, we propose the adoption of value dependent multiparty session types, which refine multiparty session types by adding type dependencies to specifications of exchanged data (extending  ... 
doi:10.1016/j.jlamp.2016.11.005 fatcat:llosycsgvfhx3k5j4gwuhfixhq

Dynamic multirole session types

Pierre-Malo Deniélou, Nobuko Yoshida
2011 SIGPLAN notices  
Multiparty session types enforce structured safe communications between several participants, as long as their number is fixed when the session starts.  ...  In order to handle common distributed interaction patterns such as peer-to-peer protocols or cloud algorithms, we propose a new role-based multiparty session type theory where roles are defined as classes  ...  Related work The first motivation for the present work is a strong need to extend session type theory with dynamic reconfiguration of multiparty sessions and role-based abstraction to support a wider range  ... 
doi:10.1145/1925844.1926435 fatcat:rcyvnvy2s5fbbfggscyugichci

Dynamic multirole session types

Pierre-Malo Deniélou, Nobuko Yoshida
2011 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11  
Multiparty session types enforce structured safe communications between several participants, as long as their number is fixed when the session starts.  ...  In order to handle common distributed interaction patterns such as peer-to-peer protocols or cloud algorithms, we propose a new role-based multiparty session type theory where roles are defined as classes  ...  Related work The first motivation for the present work is a strong need to extend session type theory with dynamic reconfiguration of multiparty sessions and role-based abstraction to support a wider range  ... 
doi:10.1145/1926385.1926435 dblp:conf/popl/DenielouY11 fatcat:cq3dk2cqmjeazkh45maaoidymm

Self-adaptation and secure information flow in multiparty communications

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
2016 Formal Aspects of Computing  
In our model, multiparty protocols (choreographies) are described as global types; security violations occur when process implementations of protocol participants attempt to read or write messages of inappropriate  ...  Our model is equipped with local and global adaptation mechanisms for reacting to security violations of different gravity; type soundness results ensure that the overall multiparty protocol is still correctly  ...  This work was supported by COST Action IC1201 BETTY (Behavioural Types for Reliable Large-Scale Software Systems) via a Short-Term Scientific Mission grant (funding a visit of Pérez to Torino).  ... 
doi:10.1007/s00165-016-0381-3 fatcat:j4ex3cisqfgqbn6qaxh7oyyehy

A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions [article]

Luís Caires, Jorge A. Pérez
2014 arXiv   pre-print
In the case of session types, developments have been mostly framed within quite different type theories for either binary (two-party) or multiparty (n-party) protocols.  ...  automata theory---and suggest useful type-based verification techniques for multiparty systems relying on reductions to the binary case.  ...  In session types, e.g., this shows up in basic concepts such as compatibility: while binary compatibility can be simply characterized as type duality [16] , a formal characterization of multiparty compatibility  ... 
arXiv:1407.4242v1 fatcat:uylab4gxdre3babypi5k32726e

A simple library implementation of binary sessions

LUCA PADOVANI
2016 Journal of functional programming  
For free, OCaml provides us with equirecursive session types, parametric behavioural polymorphism, complete session type inference, and session subtyping.  ...  Inspired by the continuation-passing encoding of binary sessions, we describe a simple approach to embed a hybrid form of session type checking into any programming language that supports parametric polymorphism  ...  The interface exports the abstract types • and • (lines 1-2) and an abstract channel type (line 3).  ... 
doi:10.1017/s0956796816000289 fatcat:vxmbhr5y65cqzg46qtkg4jqcom

Book of Abstracts EARLI SIG14 2020.pdf [article]

Georgina París, Anna Ciraso-Calí, Helena Roig-Ester, Carla Quesada
2020 Figshare  
Book of Accepted Abstracts for the EARLI SIG14 Conference 2020 in Barcelona  ...  The data comprises of a survey study among knowledge workers in different types of organisations and, audio and video recordings of a series of business simulation sessions in which teams collaboratively  ...  Each symposia session provides two kinds of collaboration networks: network a) joint session and network b) joint presentation.  ... 
doi:10.6084/m9.figshare.12515342.v3 fatcat:k3tx7vixifd6rlvbkrlxwyhidq
« Previous Showing results 1 — 15 out of 163 results