Cover Image

Composable partial multiparty session types for open systems

CC BY

Saved in:
Bibliographic Details
Main Authors: Claude, Stolze, Marino, Miculan, Pietro Di, Gianantonio
Format: Book
Language:English
Published: Springer 2023
Subjects:
well-established framework
distributed systems
Online Access:https://link.springer.com/article/10.1007/s10270-022-01040-x
https://dlib.phenikaa-uni.edu.vn/handle/PNK/7723
Tags: Add Tag
No Tags, Be the first to tag this record!
id oai:localhost:PNK-7723
record_format dspace
spelling oai:localhost:PNK-77232023-04-10T04:46:55Z Composable partial multiparty session types for open systems Claude, Stolze Marino, Miculan Pietro Di, Gianantonio well-established framework distributed systems CC BY Session types are a well-established framework for the specification of interactions between components of a distributed systems. An important issue is how to determine the type for an open system, i.e., obtained by assembling subcomponents, some of which could be missing. To this end, we introduce partial sessions and partial (multiparty) session types. Partial sessions can be composed, and the type of the resulting system is derived from those of its components without knowing any suitable global type nor the types of missing parts. To deal with this incomplete information, partial session types represent the subjective views of the interactions from participants’ perspectives; when sessions are composed, different partial views can be merged if compatible, yielding a unified view of the session. 2023-04-10T04:46:54Z 2023-04-10T04:46:54Z 2023 Book https://link.springer.com/article/10.1007/s10270-022-01040-x https://dlib.phenikaa-uni.edu.vn/handle/PNK/7723 en application/pdf Springer
institution Digital Phenikaa
collection Digital Phenikaa
language English
topic well-established framework
distributed systems
spellingShingle well-established framework
distributed systems
Claude, Stolze
Marino, Miculan
Pietro Di, Gianantonio
Composable partial multiparty session types for open systems
description CC BY
format Book
author Claude, Stolze
Marino, Miculan
Pietro Di, Gianantonio
author_facet Claude, Stolze
Marino, Miculan
Pietro Di, Gianantonio
author_sort Claude, Stolze
title Composable partial multiparty session types for open systems
title_short Composable partial multiparty session types for open systems
title_full Composable partial multiparty session types for open systems
title_fullStr Composable partial multiparty session types for open systems
title_full_unstemmed Composable partial multiparty session types for open systems
title_sort composable partial multiparty session types for open systems
publisher Springer
publishDate 2023
url https://link.springer.com/article/10.1007/s10270-022-01040-x
https://dlib.phenikaa-uni.edu.vn/handle/PNK/7723
_version_ 1762818481540038656
score 8.89252

Similar Items