On global types and multi-party sessions
International audience We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional p...
Main Authors: | , , |
---|---|
Other Authors: | , , , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2011
|
Subjects: | |
Online Access: | https://hal.science/hal-00618814 https://hal.science/hal-00618814/document https://hal.science/hal-00618814/file/978-3-642-21461-5_1_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_1 |
id |
ftccsdartic:oai:HAL:hal-00618814v1 |
---|---|
record_format |
openpolar |
spelling |
ftccsdartic:oai:HAL:hal-00618814v1 2024-02-11T10:05:04+01:00 On global types and multi-party sessions Castagna, Giuseppe Dezani-Ciancaglini, Mariangiola Padovani, Luca Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) Dipartimento di Informatica Torino Università degli studi di Torino = University of Turin (UNITO) Roberto Bruni Juergen Dingel TC 6 WG 6.1 Reykjavik, Iceland 2011-06-06 https://hal.science/hal-00618814 https://hal.science/hal-00618814/document https://hal.science/hal-00618814/file/978-3-642-21461-5_1_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_1 en eng HAL CCSD Springer info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5_1 hal-00618814 https://hal.science/hal-00618814 https://hal.science/hal-00618814/document https://hal.science/hal-00618814/file/978-3-642-21461-5_1_Chapter.pdf doi:10.1007/978-3-642-21461-5_1 http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess Lecture Notes in Computer Science 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE) https://hal.science/hal-00618814 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.1-28, ⟨10.1007/978-3-642-21461-5_1⟩ http://www.springerlink.com/content/v5n7713364t83022/ [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] info:eu-repo/semantics/conferenceObject Conference papers 2011 ftccsdartic https://doi.org/10.1007/978-3-642-21461-5_1 2024-01-14T01:28:45Z International audience We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party session to leave out redundant traces from an underspecified global type. Conference Object Iceland Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) 1 28 |
institution |
Open Polar |
collection |
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) |
op_collection_id |
ftccsdartic |
language |
English |
topic |
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] |
spellingShingle |
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] Castagna, Giuseppe Dezani-Ciancaglini, Mariangiola Padovani, Luca On global types and multi-party sessions |
topic_facet |
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] |
description |
International audience We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party session to leave out redundant traces from an underspecified global type. |
author2 |
Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) Dipartimento di Informatica Torino Università degli studi di Torino = University of Turin (UNITO) Roberto Bruni Juergen Dingel TC 6 WG 6.1 |
format |
Conference Object |
author |
Castagna, Giuseppe Dezani-Ciancaglini, Mariangiola Padovani, Luca |
author_facet |
Castagna, Giuseppe Dezani-Ciancaglini, Mariangiola Padovani, Luca |
author_sort |
Castagna, Giuseppe |
title |
On global types and multi-party sessions |
title_short |
On global types and multi-party sessions |
title_full |
On global types and multi-party sessions |
title_fullStr |
On global types and multi-party sessions |
title_full_unstemmed |
On global types and multi-party sessions |
title_sort |
on global types and multi-party sessions |
publisher |
HAL CCSD |
publishDate |
2011 |
url |
https://hal.science/hal-00618814 https://hal.science/hal-00618814/document https://hal.science/hal-00618814/file/978-3-642-21461-5_1_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_1 |
op_coverage |
Reykjavik, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
Lecture Notes in Computer Science 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE) https://hal.science/hal-00618814 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.1-28, ⟨10.1007/978-3-642-21461-5_1⟩ http://www.springerlink.com/content/v5n7713364t83022/ |
op_relation |
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5_1 hal-00618814 https://hal.science/hal-00618814 https://hal.science/hal-00618814/document https://hal.science/hal-00618814/file/978-3-642-21461-5_1_Chapter.pdf doi:10.1007/978-3-642-21461-5_1 |
op_rights |
http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess |
op_doi |
https://doi.org/10.1007/978-3-642-21461-5_1 |
container_start_page |
1 |
op_container_end_page |
28 |
_version_ |
1790601922269413376 |