On Applicative Similarity, Sequentiality, and Full Abstraction

Raphaëlle Crubillé 1 Ugo Dal Lago 2, 3 Davide Sangiorgi 2, 3 Valeria Vignudelli 2, 3
1 ENS Lyon - École normale supérieure - Lyon
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
3 UNIBO - Università di Bologna [Bologna]
Abstract : We study how applicative bisimilarity behaves when instantiated on a call-by-value probabilistic λ-calculus, endowed with Plotkin's parallel disjunction operator. We prove that congruence and coincidence with the corresponding context relation hold for both bisimilarity and similarity, the latter known to be impossible in sequential languages.
Keywords : probabilistic lambda calculus bisimulation coinduction sequentiality
Type de document :
Communication dans un congrès
Correct System Design. Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Sep 2015, Oldenburg, Germany. 2015, 〈10.1007/978-3-319-23506-6_7〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01229398
Contributeur : Vignudelli Valeria <>
Soumis le : lundi 16 novembre 2015 - 15:36:49
Dernière modification le : samedi 2 janvier 2016 - 11:51:17
Document(s) archivé(s) le : vendredi 28 avril 2017 - 15:35:14

Fichier

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

Identifiants

Collections

INRIA | ENS-LYON

Citation

Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli. On Applicative Similarity, Sequentiality, and Full Abstraction. Correct System Design. Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Sep 2015, Oldenburg, Germany. 2015, 〈10.1007/978-3-319-23506-6_7〉. 〈hal-01229398〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

78

Téléchargements du document

82

Contact


archive-ouverte@inria.fr