| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [24 references]
https://hal.inria.fr/hal-01229398
Contributor : Vignudelli Valeria Connect in order to contact the contributor
Submitted on : Monday, November 16, 2015 - 3:36:49 PM
Last modification on : Thursday, January 20, 2022 - 4:13:45 PM
Long-term archiving on: : Friday, April 28, 2017 - 3:35:14 PM
Contributor : Vignudelli Valeria Connect in order to contact the contributor
Submitted on : Monday, November 16, 2015 - 3:36:49 PM
Last modification on : Thursday, January 20, 2022 - 4:13:45 PM
Long-term archiving on: : Friday, April 28, 2017 - 3:35:14 PM
File
main.pdf
Files produced by the author(s)