Skip to Main content Skip to Navigation
Conference papers

The probability of non-confluent systems

Abstract : We show how to provide a structure of probability space to the set of execution traces on a non-confluent abstract rewrite system, by defining a variant of a Lebesgue measure on the space of traces. Then, we show how to use this probability space to transform a non-deterministic calculus into a probabilistic one. We use as example Lambda+, a recently introduced calculus defined through type isomorphisms.
Document type :
Conference papers
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-00919546
Contributor : Gilles Dowek <>
Submitted on : Tuesday, December 17, 2013 - 8:34:27 AM
Last modification on : Friday, May 25, 2018 - 12:02:06 PM
Long-term archiving on: : Monday, March 17, 2014 - 10:20:48 PM

File

probas.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Alejandro Díaz-Caro, Gilles Dowek. The probability of non-confluent systems. DCM - 9th International Workshop on Developments in Computational Models - 2013, Aug 2013, Buenos Aires, Argentina. pp.1-15, ⟨10.4204/EPTCS.144.1⟩. ⟨hal-00919546⟩

Share

Metrics

Record views

239

Files downloads

236