On Applicative Similarity, Sequentiality, and Full Abstraction
| Autor: | Ugo Dal Lago, Davide Sangiorgi, Raphaëlle Crubillé, Valeria Vignudelli |
|---|---|
| Přispěvatelé: | École normale supérieure - Lyon (ENS Lyon), Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), ANR-12-IS02-0001,PACE,Processus non-standard: Analyse, Coinduction, Expressivité(2012), Crubillé, Raphaëlle, Dal Lago, Ugo, Sangiorgi, Davide, Vignudelli, Valeria, École normale supérieure de Lyon (ENS de Lyon) |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
Pure mathematics
TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES Context (language use) 0102 computer and information sciences 02 engineering and technology 01 natural sciences Coincidence Operator (computer programming) probabilistic lambda calculus Similarity (network science) Congruence (geometry) Computer Science::Logic in Computer Science 0202 electrical engineering electronic engineering information engineering Probabilistic lambda calculus Bisimulation Coinduction Sequentiality sequentiality [INFO]Computer Science [cs] Mathematics Bisimulation Discrete mathematics Probabilistic logic 020207 software engineering 16. Peace & justice Abstraction (mathematics) TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES 010201 computation theory & mathematics TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS bisimulation Computer Science::Programming Languages coinduction |
| Zdroj: | Correct System Design. Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday 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⟩ Lecture Notes in Computer Science ISBN: 9783319235059 Correct System Design |
| DOI: | 10.1007/978-3-319-23506-6_7⟩ |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|