Conference
Resource Sharing via Capability-Based Multiparty Session Types
| Title: | Resource Sharing via Capability-Based Multiparty Session Types |
|---|---|
| Authors: | A. Laura Voinea, Ornela Dardha, Simon J. Gay |
| Publisher Information: | Zenodo |
| Publication Year: | 2019 |
| Collection: | Zenodo |
| Subject Terms: | session types, sharing, concurrent programming |
| Description: | Multiparty Session Types (MPST) are a type formalism used to model communication protocols among components in distributed systems, by specifying type and direction of data transmitted. It is stan- dard for multiparty session type systems to use access control based on linear or affine types. While useful in offering strong guarantees of communication safety and session fidelity, linearity and affinity run into the well-known problem of inflexible programming, excluding scenarios that make use of shared channels or need to store channels in shared data structures. In this paper, we develop capability-based resource sharing for multiparty session types. In this setting, channels are split into two entities, the channel itself and the capability of using it. This gives rise to a more flexible session type system, which allows channel references to be shared and stored in persistent data structures. We illustrate our type system through a producer-consumer case study. Finally, we prove that the resulting language satisfies type safety. |
| Document Type: | conference object |
| Language: | English |
| Relation: | https://dblp.uni-trier.de/rec/bibtex/conf/ifm/VoineaDG19; http://www.dcs.gla.ac.uk/~ornela/publications/VDG19.pdf; https://zenodo.org/communities/eu/; https://zenodo.org/records/3661263; oai:zenodo.org:3661263 |
| DOI: | 10.1007/978-3-030-34968-4_24 |
| Availability: | https://doi.org/10.1007/978-3-030-34968-4_24 https://zenodo.org/records/3661263 |
| Rights: | Creative Commons Attribution 4.0 International ; cc-by-4.0 ; https://creativecommons.org/licenses/by/4.0/legalcode |
| Accession Number: | edsbas.6C2E4902 |
| Database: | BASE |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://doi.org/10.1007/978-3-030-34968-4_24# Name: EDS - BASE (ns324271) Category: fullText Text: View record from BASE |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.6C2E4902 RelevancyScore: 898 AccessLevel: 3 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 898.215454101563 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Resource Sharing via Capability-Based Multiparty Session Types – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22A%2E+Laura+Voinea%22">A. Laura Voinea</searchLink><br /><searchLink fieldCode="AR" term="%22Ornela+Dardha%22">Ornela Dardha</searchLink><br /><searchLink fieldCode="AR" term="%22Simon+J%2E+Gay%22">Simon J. Gay</searchLink> – Name: Publisher Label: Publisher Information Group: PubInfo Data: Zenodo – Name: DatePubCY Label: Publication Year Group: Date Data: 2019 – Name: Subset Label: Collection Group: HoldingsInfo Data: Zenodo – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22session+types%22">session types</searchLink><br /><searchLink fieldCode="DE" term="%22sharing%22">sharing</searchLink><br /><searchLink fieldCode="DE" term="%22concurrent+programming%22">concurrent programming</searchLink> – Name: Abstract Label: Description Group: Ab Data: Multiparty Session Types (MPST) are a type formalism used to model communication protocols among components in distributed systems, by specifying type and direction of data transmitted. It is stan- dard for multiparty session type systems to use access control based on linear or affine types. While useful in offering strong guarantees of communication safety and session fidelity, linearity and affinity run into the well-known problem of inflexible programming, excluding scenarios that make use of shared channels or need to store channels in shared data structures. In this paper, we develop capability-based resource sharing for multiparty session types. In this setting, channels are split into two entities, the channel itself and the capability of using it. This gives rise to a more flexible session type system, which allows channel references to be shared and stored in persistent data structures. We illustrate our type system through a producer-consumer case study. Finally, we prove that the resulting language satisfies type safety. – Name: TypeDocument Label: Document Type Group: TypDoc Data: conference object – Name: Language Label: Language Group: Lang Data: English – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: https://dblp.uni-trier.de/rec/bibtex/conf/ifm/VoineaDG19; http://www.dcs.gla.ac.uk/~ornela/publications/VDG19.pdf; https://zenodo.org/communities/eu/; https://zenodo.org/records/3661263; oai:zenodo.org:3661263 – Name: DOI Label: DOI Group: ID Data: 10.1007/978-3-030-34968-4_24 – Name: URL Label: Availability Group: URL Data: https://doi.org/10.1007/978-3-030-34968-4_24<br />https://zenodo.org/records/3661263 – Name: Copyright Label: Rights Group: Cpyrght Data: Creative Commons Attribution 4.0 International ; cc-by-4.0 ; https://creativecommons.org/licenses/by/4.0/legalcode – Name: AN Label: Accession Number Group: ID Data: edsbas.6C2E4902 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.6C2E4902 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/978-3-030-34968-4_24 Languages: – Text: English Subjects: – SubjectFull: session types Type: general – SubjectFull: sharing Type: general – SubjectFull: concurrent programming Type: general Titles: – TitleFull: Resource Sharing via Capability-Based Multiparty Session Types Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: A. Laura Voinea – PersonEntity: Name: NameFull: Ornela Dardha – PersonEntity: Name: NameFull: Simon J. Gay IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2019 Identifiers: – Type: issn-locals Value: edsbas – Type: issn-locals Value: edsbas.oa |
| ResultId | 1 |