Parallelism and Synchronization in an Infinitary Context

Abstract : We study multitoken interaction machines in the context of a very expressive linear logical system with expo-nentials, fixpoints and synchronization. The advantage of such machines is to provide models in the style of the Geometry of Interaction, i.e., an interactive semantics which is close to low-level implementation. On the one hand, we prove that despite the inherent complexity of the framework, interaction is guaranteed to be deadlock-free. On the other hand, the resulting logical system is powerful enough to embed PCF and to adequately model its behaviour, both when call-by-name and when call-by-value evaluation are considered. This is not the case for single-token stateless interactive machines.
Type de document :
Communication dans un congrès
LICS 2015, Jul 2015, Kyoto, Japan. 2015, Proceedings of LICS 2015. 〈10.1109/LICS.2015.58〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01231813
Contributeur : Ugo Dal Lago <>
Soumis le : vendredi 20 novembre 2015 - 17:11:43
Dernière modification le : vendredi 12 janvier 2018 - 01:49:00
Document(s) archivé(s) le : vendredi 28 avril 2017 - 18:36:51

Fichier

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

Identifiants

Citation

Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu. Parallelism and Synchronization in an Infinitary Context. LICS 2015, Jul 2015, Kyoto, Japan. 2015, Proceedings of LICS 2015. 〈10.1109/LICS.2015.58〉. 〈hal-01231813〉

Partager

Métriques

Consultations de la notice

252

Téléchargements de fichiers

50