On Applicative Similarity, Sequentiality, and Full Abstraction - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

On Applicative Similarity, Sequentiality, and Full Abstraction

(1) , (2, 3) , (2, 3) , (2, 3)
1
2
3

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⟩
110 View
188 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More