On Applicative Similarity, Sequentiality, and Full Abstraction - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

On Applicative Similarity, Sequentiality, and Full Abstraction

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.
Fichier principal
Vignette du fichier
main.pdf (536.97 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01229398 , version 1 (16-11-2015)

Identifiers

Cite

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. ⟨10.1007/978-3-319-23506-6_7⟩. ⟨hal-01229398⟩
111 View
193 Download

Altmetric

Share

Gmail Facebook X LinkedIn More