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.
Type de document :
Communication dans un congrès
Mauricio Ayala Rincón and Eduardo Bonelli and Ian Mackie. DCM - 9th International Workshop on Developments in Computational Models - 2013, Aug 2013, Buenos Aires, Argentina. 144, pp.1-15, 2014, Electronic Proceedings in Theoretical Computer Science. 〈http://dcm-workshop.org.uk/2013/〉. 〈10.4204/EPTCS.144.1〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00919546
Contributeur : Gilles Dowek <>
Soumis le : mardi 17 décembre 2013 - 08:34:27
Dernière modification le : mardi 17 avril 2018 - 11:28:03
Document(s) archivé(s) le : lundi 17 mars 2014 - 22:20:48

Fichier

probas.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Alejandro Díaz-Caro, Gilles Dowek. The probability of non-confluent systems. Mauricio Ayala Rincón and Eduardo Bonelli and Ian Mackie. DCM - 9th International Workshop on Developments in Computational Models - 2013, Aug 2013, Buenos Aires, Argentina. 144, pp.1-15, 2014, Electronic Proceedings in Theoretical Computer Science. 〈http://dcm-workshop.org.uk/2013/〉. 〈10.4204/EPTCS.144.1〉. 〈hal-00919546〉

Partager

Métriques

Consultations de la notice

161

Téléchargements de fichiers

93