Interconnectability of session-based logical processes

Bibliographic Details
Main Author: Toninho, Bernardo
Publication Date: 2018
Other Authors: Yoshida, Nobuko
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: https://doi.org/10.1145/3242173
Summary: This work is supported by NOVA LINCS (UID/CEC/04516/2013), EPSRC EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1 and EP/N028201/1.
id RCAP_68e9d9d2b39c8abc7df6ff3551c24e12
oai_identifier_str oai:run.unl.pt:10362/65735
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Interconnectability of session-based logical processesClassical linear logicMultiparty sessionsSession typesSynthesisSoftwareThis work is supported by NOVA LINCS (UID/CEC/04516/2013), EPSRC EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1 and EP/N028201/1.In multiparty session types, interconnection networks identify which roles in a session engage in communication (i.e., two roles are connected if they exchange a message). In session-based interpretations of linear logic the analogue notion corresponds to determining which processes are composed, or cut, using compatible channels typed by linear propositions. In this work, we show that well-formed interactions represented in a session-based interpretation of classical linear logic (CLL) form strictly less-expressive interconnection networks than those of a multiparty session calculus. To achieve this result, we introduce a new compositional synthesis property dubbed partial multiparty compatibility (PMC), enabling us to build a global type denoting the interactions obtained by iterated composition of well-typed CLL threads. We then show that CLL composition induces PMC global types without circular interconnections between three (or more) participants. PMC is then used to define a new CLL composition rule that can form circular interconnections but preserves the deadlock-freedom of CLL.DI - Departamento de InformáticaNOVALincsRUNToninho, BernardoYoshida, Nobuko2019-04-05T22:22:30Z2018-12-012018-12-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfapplication/pdfhttps://doi.org/10.1145/3242173eng0164-0925PURE: 11749686http://www.scopus.com/inward/record.url?scp=85061257360&partnerID=8YFLogxKhttps://doi.org/10.1145/3242173info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-22T17:38:34Zoai:run.unl.pt:10362/65735Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T17:09:42.468059Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Interconnectability of session-based logical processes
title Interconnectability of session-based logical processes
spellingShingle Interconnectability of session-based logical processes
Toninho, Bernardo
Classical linear logic
Multiparty sessions
Session types
Synthesis
Software
title_short Interconnectability of session-based logical processes
title_full Interconnectability of session-based logical processes
title_fullStr Interconnectability of session-based logical processes
title_full_unstemmed Interconnectability of session-based logical processes
title_sort Interconnectability of session-based logical processes
author Toninho, Bernardo
author_facet Toninho, Bernardo
Yoshida, Nobuko
author_role author
author2 Yoshida, Nobuko
author2_role author
dc.contributor.none.fl_str_mv DI - Departamento de Informática
NOVALincs
RUN
dc.contributor.author.fl_str_mv Toninho, Bernardo
Yoshida, Nobuko
dc.subject.por.fl_str_mv Classical linear logic
Multiparty sessions
Session types
Synthesis
Software
topic Classical linear logic
Multiparty sessions
Session types
Synthesis
Software
description This work is supported by NOVA LINCS (UID/CEC/04516/2013), EPSRC EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1 and EP/N028201/1.
publishDate 2018
dc.date.none.fl_str_mv 2018-12-01
2018-12-01T00:00:00Z
2019-04-05T22:22:30Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://doi.org/10.1145/3242173
url https://doi.org/10.1145/3242173
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0164-0925
PURE: 11749686
http://www.scopus.com/inward/record.url?scp=85061257360&partnerID=8YFLogxK
https://doi.org/10.1145/3242173
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833596479077351424

Similar Items