The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens
International audience We introduce a geometry of interaction model for Mazza's multiport interaction combinators, a graph-theoretic formalism which is able to faithfully capture concurrent computation as embodied by process algebras like the π-calculus. The introduced model is based on token m...
Main Authors: | , , |
---|---|
Other Authors: | , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2017
|
Subjects: | |
Online Access: | https://inria.hal.science/hal-01639411 https://inria.hal.science/hal-01639411/document https://inria.hal.science/hal-01639411/file/main.pdf |
id |
ftunivcotedazur:oai:HAL:hal-01639411v1 |
---|---|
record_format |
openpolar |
spelling |
ftunivcotedazur:oai:HAL:hal-01639411v1 2024-01-14T10:07:56+01:00 The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens Dal Lago, Ugo Tanaka, Ryo Yoshimizu, Akira Foundations of Component-based Ubiquitous Systems (FOCUS) Inria Sophia Antipolis - Méditerranée (CRISAM) Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) Dipartimento di Scienze dell'Informazione Bologna (DISI) Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO) The University of Tokyo (UTokyo) Reykjavik, Iceland 2017-06-20 https://inria.hal.science/hal-01639411 https://inria.hal.science/hal-01639411/document https://inria.hal.science/hal-01639411/file/main.pdf en eng HAL CCSD hal-01639411 https://inria.hal.science/hal-01639411 https://inria.hal.science/hal-01639411/document https://inria.hal.science/hal-01639411/file/main.pdf info:eu-repo/semantics/OpenAccess LICS 2017 - Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science https://inria.hal.science/hal-01639411 LICS 2017 - Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] info:eu-repo/semantics/conferenceObject Conference papers 2017 ftunivcotedazur 2023-12-19T23:45:34Z International audience We introduce a geometry of interaction model for Mazza's multiport interaction combinators, a graph-theoretic formalism which is able to faithfully capture concurrent computation as embodied by process algebras like the π-calculus. The introduced model is based on token machines in which not one but multiple tokens are allowed to traverse the underlying net at the same time. We prove soundness and adequacy of the introduced model. The former is proved as a simulation result between the token machines one obtains along any reduction sequence. The latter is obtained by a fine analysis of convergence, both in nets and in token machines. Conference Object Iceland HAL Université Côte d'Azur |
institution |
Open Polar |
collection |
HAL Université Côte d'Azur |
op_collection_id |
ftunivcotedazur |
language |
English |
topic |
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] |
spellingShingle |
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] Dal Lago, Ugo Tanaka, Ryo Yoshimizu, Akira The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens |
topic_facet |
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] |
description |
International audience We introduce a geometry of interaction model for Mazza's multiport interaction combinators, a graph-theoretic formalism which is able to faithfully capture concurrent computation as embodied by process algebras like the π-calculus. The introduced model is based on token machines in which not one but multiple tokens are allowed to traverse the underlying net at the same time. We prove soundness and adequacy of the introduced model. The former is proved as a simulation result between the token machines one obtains along any reduction sequence. The latter is obtained by a fine analysis of convergence, both in nets and in token machines. |
author2 |
Foundations of Component-based Ubiquitous Systems (FOCUS) Inria Sophia Antipolis - Méditerranée (CRISAM) Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) Dipartimento di Scienze dell'Informazione Bologna (DISI) Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO) The University of Tokyo (UTokyo) |
format |
Conference Object |
author |
Dal Lago, Ugo Tanaka, Ryo Yoshimizu, Akira |
author_facet |
Dal Lago, Ugo Tanaka, Ryo Yoshimizu, Akira |
author_sort |
Dal Lago, Ugo |
title |
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens |
title_short |
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens |
title_full |
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens |
title_fullStr |
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens |
title_full_unstemmed |
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens |
title_sort |
geometry of concurrent interaction: handling multiple ports by way of multiple tokens |
publisher |
HAL CCSD |
publishDate |
2017 |
url |
https://inria.hal.science/hal-01639411 https://inria.hal.science/hal-01639411/document https://inria.hal.science/hal-01639411/file/main.pdf |
op_coverage |
Reykjavik, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
LICS 2017 - Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science https://inria.hal.science/hal-01639411 LICS 2017 - Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland |
op_relation |
hal-01639411 https://inria.hal.science/hal-01639411 https://inria.hal.science/hal-01639411/document https://inria.hal.science/hal-01639411/file/main.pdf |
op_rights |
info:eu-repo/semantics/OpenAccess |
_version_ |
1788062339241607168 |