The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens

Ugo Dal Lago 1, 2 Ryo Tanaka 3 Akira Yoshimizu 3
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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.
Type de document :
Communication dans un congrès
LICS 2017 - Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland
Liste complète des métadonnées

Littérature citée [38 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01639411
Contributeur : Ugo Dal Lago <>
Soumis le : mardi 21 novembre 2017 - 14:08:02
Dernière modification le : samedi 27 janvier 2018 - 01:31:17

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01639411, version 1

Collections

Citation

Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu. The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens. LICS 2017 - Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. 〈hal-01639411〉

Partager

Métriques

Consultations de la notice

89

Téléchargements de fichiers

31