Composable partial multiparty session types for open systems
CC BY
Lưu vào:
| Tác giả chính: | , , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Nhà xuất bản: |
Springer
2023
|
| Chủ đề: | |
| Truy cập trực tuyến: | https://link.springer.com/article/10.1007/s10270-022-01040-x https://dlib.phenikaa-uni.edu.vn/handle/PNK/7723 |
| Từ khóa: |
Thêm từ khóa
Không có từ khóa, Hãy là người đầu tiên đánh dấu biểu ghi này!
|
| 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 |