8,129 Hits in 3.8 sec

Typing Liveness in Multiparty Communicating Systems [chapter]

Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
2014 Lecture Notes in Computer Science  
In this paper we generalize the approach to multiparty sessions following the conversation type approach, while strengthening progress to liveness.  ...  Session type systems are an effective tool to prove that communicating programs do not go wrong, ensuring that the participants of a session follow the protocols described by the types.  ...  This work was supported by MIUR PRIN CINA 2010LHT4KM, FCT through project Liveness, PTDC/ EIA-CCO/117513/2010, and LaSIGE Strategic Project, PEst-OE/EEI/UI0408/2014.  ... 
doi:10.1007/978-3-662-43376-8_10 fatcat:dm7gfcoscvffvacv4edq7cfgke

Opening School Doors to Communities and Families: A Social Capital Perspective for Multiparty Collaboration

Elizabeth A. Mellin, Elise E. Belknap, Ian L. Brodie, Kristen Sholes
2015 Journal for social action in counseling and psychology  
Although collaboration among schools, families, and communities is seen as necessary for community change and systems transformation, policies and efforts to increase collaboration in and with schools  ...  This article introduces social capital theory as a lens for school counselors who are working to transform their communities through multiparty collaboration.  ...  This detrimental comparison ignores the complexities for families of color living in poverty in their relationships with school systems.  ... 
doi:10.33043/jsacp.7.1.1-18 fatcat:ucey5nddq5bcdfb3zaljdf3sgu

Precise subtyping for asynchronous multiparty sessions

Silvia Ghilezan, Jovanka Pantović, Ivan Prokić, Alceste Scalas, Nobuko Yoshida
2021 Proceedings of the ACM on Programming Languages (PACMPL)  
Session subtyping is a cornerstone of refinement of communicating processes: a process implementing a session type (i.e., a communication protocol) 𝑇 can be safely used whenever a process implementing  ...  one of its supertypes 𝑇 ′ is expected, in any context, without introducing deadlocks nor other communication errors.  ...  ℓ 1 (S 1 )) 𝑛 .W 1 [ref-in] 4 TYPING SYSTEM AND TYPE SAFETY Our multiparty session typing system blends the one by Ghilezan et al. [2019] with the one in [Scalas and Yoshida 2019, Section 7]: like the  ... 
doi:10.1145/3434297 fatcat:zyspxvsta5crlm7jwmexdvs7fm

Less is more: multiparty session types revisited

Alceste Scalas, Nobuko Yoshida
2019 Proceedings of the ACM on Programming Languages (PACMPL)  
that processes enjoy, e.g., deadlock-freedom and liveness at run-time. (4) We show how our new theory can integrate type and model checking: type-level properties can be expressed in modal µ-calculus,  ...  Multiparty Session Types (MPST) are a typing discipline ensuring that a message-passing process implements a given multiparty session protocol, without errors.  ...  Definition 4.4 (General Multiparty Session Type System).  ... 
doi:10.1145/3290343 fatcat:ickhsd2d7vdo5gyc5oe52ax3fm

Multiparty Session Types, Beyond Duality (Abstract)

Alceste Scalas, Nobuko Yoshida
2017 Electronic Proceedings in Theoretical Computer Science  
Then, we outline a novel MPST typing system that removes these restrictions.  ...  Multiparty Session Types (MPST) are a well-established typing discipline for message-passing processes interacting on sessions involving two or more participants.  ...  In our typing judgement, the pair Γ g ,Γ r must be live: this ensures that each output can synchronise with a compatible input (and vice versa).  ... 
doi:10.4204/eptcs.246.7 fatcat:tz77hidpwbf55eckcjf7yjbm4a

Foundations of Session Types and Behavioural Contracts

Hans Hüttel, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara
2016 ACM Computing Surveys  
Behavioural type systems, usually associated to concurrent or distributed computations, encompass concepts such as interfaces, communication protocols, and contracts, in addition to the traditional input  ...  The behavioural type of a software component specifies its expected patterns of interaction using expressive type languages, so types can be used to determine automatically whether the component interacts  ...  In the Generic Type System, types are processes from the restriction-free fragment of Calculus of Communicating Systems (CCS) and the type system involves a general subtype relation and a consistency condition  ... 
doi:10.1145/2873052 fatcat:zpqnnmimwrglxeulwo4duwqbw4

Multiparty Session Types Meet Communicating Automata [chapter]

Pierre-Malo Deniélou, Nobuko Yoshida
2012 Lecture Notes in Computer Science  
Our calculus can treat expressive forking, merging and joining protocols that are absent from existing session frameworks, and our typing system can ensure properties such as safety, boundedness and liveness  ...  Their major impact has been in characterising essential properties of communications such as freedom from deadlock and communication error, and buffer boundedness.  ...  We call this class of communicating systems multiparty session automata (MSA).  ... 
doi:10.1007/978-3-642-28869-2_10 fatcat:b5gr7ngjxnadpkncmfbputuafu

Multiparty session types, beyond duality

Alceste Scalas, Nobuko Yoshida
2018 Journal of Logical and Algebraic Methods in Programming  
Crucially, our theory achieves type safety by enforcing a typing context liveness invariant throughout typing derivations.  ...  Multiparty Session Types (MPST) are a well-established typing discipline for messagepassing processes interacting on sessions involving two or more participants.  ...  "Classic" multiparty session typing system and subject reduction In this section, we outline the "classic" multiparty session typing system, and its limitations.  ... 
doi:10.1016/j.jlamp.2018.01.001 fatcat:w2e3mpd4gvhuhfovubhqx7efue

Implementing Multiparty Session Types in Rust [chapter]

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
2020 Lecture Notes in Computer Science  
This paper reports on our research project, implementing multiparty session types in Rust. Current Rust implementations of session types are limited to binary (twoparty communications).  ...  Multiparty Session Types (MPST) is a typing discipline for distributed protocols, which ensures communication safety and deadlockfreedom for more than two participants.  ...  Its affine type system allows for static typing of linear resourcesan essential requirement for the safety of session type systems.  ... 
doi:10.1007/978-3-030-50029-0_8 fatcat:o4yaucohxrhd5dwi3bofou22a4


Peter Bisong
2018 Zenodo  
In the light of this, it recommends the no-party system of government as a veritable alternative to one party and multiparty systems.  ...  The no-party system overcomes the weaknesses of both the multiparty and one party systems and thus has a greater potential to lead Africa to its greatest quest - development.  ...  It is known that politics pitch fathers against sons, friends against friends, communities against communities, party against parties. Many lives have been lost in the process.  ... 
doi:10.5281/zenodo.2529417 fatcat:77iozpnwtvh2bg7zumvy6otqiq

Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types [article]

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
2022 arXiv   pre-print
Communicating systems comprise diverse software components across networks.  ...  This new typing discipline, affine multiparty session types (AMPST), ensures cancellation termination of multiple, independently running components and guarantees that communication will not get stuck  ...  We embedded the theory in Rust and developed a practical library for safe multiparty communication, MultiCrusty, which ensures deadlock-freedom and liveness in the presence of cancellations of arbitrary  ... 
arXiv:2204.13464v1 fatcat:icsjqmfqxbaypntxdh3jyhrusm

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types [article]

Pierre-Malo Deniélou, Nobuko Yoshida
2013 arXiv   pre-print
Multiparty session types are a type system that can ensure the safety and liveness of distributed peers via the global specification of their interactions.  ...  To construct a global specification from a set of distributed uncontrolled behaviours, this paper explores the problem of fully characterising multiparty session types in terms of communicating automata  ...  Let S be a communicating system.  ... 
arXiv:1304.1902v1 fatcat:pfnisup2nzahhpftgpv5bb34oq

The Challenge of Typed Expressiveness in Concurrency [chapter]

Jorge A. Pérez
2016 Lecture Notes in Computer Science  
These formalisms, in particular the π-calculus, also provide a basis for typed systems for communicating programs.  ...  In practical multiparty communications [13, 23, 41] , however, one is mostly interested in types (rather than in processes), as they offer contracts/interfaces to derive safe implementations.  ... 
doi:10.1007/978-3-319-39570-8_16 fatcat:y6mx3k2dejdephkuwksc64n2ai

Domain-Aware Session Types

Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho, Michael Wagner
2019 International Conference on Concurrency Theory  
In our system, types can specify domain 108 migration and communication; domain mobility is governed by a parametric accessibility 109 relation.  ...  views of actual domain structures. 49 Despite their importance in communication correctness and trustworthiness at large, the 50 formal status of domains within typed models of message-passing systems  ...  study of domain-553 awareness in a multiparty setting, considering multiparty sessions with domain-aware migra-554 tion and communication whose semantics is given by a typed (binary) medium process that  ... 
doi:10.4230/lipics.concur.2019.39 dblp:conf/concur/CairesPPT19 fatcat:snpx6q5y75chngm2gpkel3rwfy

Multiparty Call Control at the Network Edge

Ivaylo I. Atanasov, Evelina N. Pencheva, Denitsa L. Velkova, Ivaylo P. Asenov
2020 Elektronika ir Elektrotechnika  
Network programmability is a key feature of fifth generation (5G) system which, in combination with cloud-based services, can support many use cases, including mission critical and healthcare communications  ...  In this paper, MEC capabilities for programmability of multiparty multimedia call control at the network edge are studied.  ...  INTRODUCTION Fifth generation (5G) system has huge potential to improve our daily lives in various aspects, including numerous mission critical and healthcare scenarios.  ... 
doi:10.5755/j01.eie.26.5.26007 fatcat:3y6om2hg3naf5fbvw2mfoduzsy
« Previous Showing results 1 — 15 out of 8,129 results