Filters








685 Hits in 5.3 sec

Less is more: multiparty session types revisited

Alceste Scalas, Nobuko Yoshida
2019 Proceedings of the ACM on Programming Languages (PACMPL)  
, and yet more general, than the classic one: it does not require global multiparty session types nor binary session type duality Ð instead, it is grounded on general behavioural type-level properties,  ...  Multiparty Session Types (MPST) are a typing discipline ensuring that a message-passing process implements a given multiparty session protocol, without errors.  ...  less external choices and allows to perform more internal choices.  ... 
doi:10.1145/3290343 fatcat:ickhsd2d7vdo5gyc5oe52ax3fm

More Than a Game

Melissa Paschall, Rolf Wüstenhagen
2011 Journal of Management Education  
than less.  ...  It is more like a ‘take it or leave it’ situation” (OS).  ... 
doi:10.1177/1052562911411156 fatcat:oekzps6kmjbdfhcuty4v36guda

Explicit Connection Actions in Multiparty Session Types [chapter]

Raymond Hu, Nobuko Yoshida
2017 Lecture Notes in Computer Science  
This work extends asynchronous multiparty session types (MPST) with explicit connection actions to support protocols with optional and dynamic participants.  ...  In addition, the use cases motivating explicit connections often require a more relaxed form of multiparty choice: these extensions do not satisfy the conservative restrictions used to ensure safety in  ...  This work is partially supported by EPSRC projects EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1, and EP/N028201/1; and by EU FP7 612985 (UPSCALE).  ... 
doi:10.1007/978-3-662-54494-5_7 fatcat:cgjqdckbbrawjfjpyu63urpvae

Aspectual session types

Nicolas Tabareau, Mario Südholt, Éric Tanter
2014 Proceedings of the 13th international conference on Modularity - MODULARITY '14  
We formally prove that well-formed aspectual session types entail communication safety. As a result, aspectual session types make multiparty session types more flexible, modular, and extensible.  ...  Multiparty session types allow the definition of distributed processes with strong communication safety properties.  ...  This allows us to preserve all the properties satisfied by global types on a realization that is less sequential and that uses less labels.  ... 
doi:10.1145/2577080.2577085 dblp:conf/aosd/TabareauST14 fatcat:3y7h5yuhp5amfl3djjttpmrf3a

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler, Marc Herbstritt
2016 International Conference on Concurrency Theory  
Carbone et al. introduced Multiparty Classical Processes, a calculus that generalises CP to multiparty session types, by replacing the duality of classical linear logic (relating two types) with a more  ...  Last year, Carbone et al. [9] introduced Multiparty Classical Processes (MCP), which extends CP to the multiparty session types introduced by Honda, Yoshida, and Carbone [12] .  ...  Multiparty Classical Processes (MCP) The semantics of GCP is governed, unlike in standard multiparty session types [12] .  ... 
doi:10.4230/lipics.concur.2016.33 dblp:conf/concur/CarboneLMSW16 fatcat:zerl5u2qx5fv3kdiw2ldtlnnue

Aspectual session types

Nicolas Tabareau, Mario Südholt, Éric Tanter
2014 Proceedings of the 13th international conference on Modularity - MODULARITY '14  
We formally prove that well-formed aspectual session types entail communication safety. As a result, aspectual session types make multiparty session types more flexible, modular, and extensible.  ...  Multiparty session types allow the definition of distributed processes with strong communication safety properties.  ...  This allows us to preserve all the properties satisfied by global types on a realization that is less sequential and that uses less labels.  ... 
doi:10.1145/2584469.2577085 fatcat:skedtnktmja7jlqe4il2uaofju

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.  ...  This is because in a multiparty session, P might interact with more than one other processes playing different roles in a session (e.g., alice, bob and carol) -and correspondingly, the multiparty typing  ... 
doi:10.1016/j.jlamp.2018.01.001 fatcat:w2e3mpd4gvhuhfovubhqx7efue

Multiparty Session Programming with Global Protocol Combinators [article]

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2020 arXiv   pre-print
Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating processes.  ...  We formalise global combinators and prove a sound realisability of global combinators -- a well-typed global combinator derives a set of local types, by which typed endpoint programs can ensure type and  ...  Our work is partially supported by the first author's visitor funding to Imperial College London and Brunel University London supported by Gifu University, VeTSS, JSPS KAKENHI Grant Numbers JP17H01722,  ... 
arXiv:2005.06333v2 fatcat:zqtsntdqjrgbnfmg262g6zattu

Multirole Logic (Extended Abstract) [article]

Hongwei Xi, Hanwen Wu
2017 arXiv   pre-print
Among various meta-properties established for MRL and LMRL, we obtain one named multiparty cut-elimination stating that every cut involving one or more sequents (as a generalization of a (binary) cut involving  ...  We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the notion of negation is generalized  ...  A crucial point, which we learned when studying multiparty session types , is that interpretations should be based on sets of roles rather than just individual roles.  ... 
arXiv:1703.06391v1 fatcat:itgxsydpdfdtdcnf4ur535z6x4

Event-based run-time adaptation in communication-centric systems

Cinzia Di Giusto, Jorge A. Pérez
2016 Formal Aspects of Computing  
Session-based concurrency is a type-based approach to ensure the conformance of communication-centric systems to such protocols.  ...  We provide soundness results for binary and multiparty protocols.  ...  Pérez is also affiliated to the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS Ref. UID/CEC/04516/2013), Universidade Nova de Lisboa, Portugal.  ... 
doi:10.1007/s00165-016-0377-z fatcat:dqiglmrt3ncovoc4bfepzx5xqi

Fluent Session Programming in C#

Shunsuke Kimura, Keigo Imai
2020 Electronic Proceedings in Theoretical Computer Science  
We propose SessionC#, a lightweight session typed library for safe concurrent/distributed programming.  ...  /await, which materialises session cancellation in a limited form, which we call session intervention.  ...  This work is partially supported by KAKENHI 17K12662 from JSPS, Japan, and by Grantsin-aid for Promotion of Regional Industry-University-Government Collaboration from Cabinet Office, Japan.  ... 
doi:10.4204/eptcs.314.6 fatcat:hybulxzjmbahtlewtvh6fpydjy

Classical Higher-Order Processes [chapter]

Fabrizio Montesi
2017 Lecture Notes in Computer Science  
In section 5, we illustrate how to extend CHOP with syntax sugar and the support for multiparty sessions. e translation of CHOP to CP is presented in section 6.  ...  Speci cally, we discuss how to implement higher-order I/O primitives with continuations and 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

Generalising Projection in Asynchronous Multiparty Session Types [article]

Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
2021 arXiv   pre-print
Multiparty session types (MSTs) provide an efficient methodology for specifying and verifying message passing software systems.  ...  The key to the usability of MSTs is the projection operation: a more expressive projection allows more systems to be type-checked but requires a more difficult soundness argument.  ...  Coherence generalises duality: A logical explanation of multiparty session types.  ... 
arXiv:2107.03984v2 fatcat:nqgsr3rllba4jot6ay7hy4icky

Secure Multiparty Computation and Trusted Hardware: Examining Adoption Challenges and Opportunities

Joseph I. Choi, Kevin R. B. Butler
2019 Security and Communication Networks  
When two or more parties need to compute a common result while safeguarding their sensitive inputs, they use secure multiparty computation (SMC) techniques such as garbled circuits.  ...  This paper revisits the history of improvements to SMC over the years and considers the possibility of coupling trusted hardware with SMC.  ...  This work is supported in part by the US National Science Foundation under grant CNS-1540217.  ... 
doi:10.1155/2019/1368905 fatcat:izynm6msrvehfa3ghkw7tykk34

Disciplined structured communications with disciplined runtime adaptation

Cinzia Di Giusto, Jorge A. Pérez
2015 Science of Computer Programming  
In this paper, we propose a session type discipline for a calculus with adaptable processes.  ...  is never disrupted by adaptation actions.  ...  multiparty session types.  ... 
doi:10.1016/j.scico.2014.04.017 fatcat:wilyfeykc5hsxdhacvwgxlnka4
« Previous Showing results 1 — 15 out of 685 results