INVESTIGADORES
DÍAZ CARO Alejandro
artículos
Título:
The probability of non-confluent systems
Autor/es:
DÍAZ-CARO, ALEJANDRO; DOWEK, GILLES
Revista:
Electronic Proceedings in Theoretical Computer Science, EPTCS
Editorial:
Open Publishing Association
Referencias:
Año: 2014 vol. 144 p. 1 - 15
ISSN:
2075-2180
Resumen:
We show how to provide a structure of probability space to the set of execution traces on a nonconfluent 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 λ+, a recently introduced calculus defined through type isomorphisms.
