On Dynamical Probabilities, or: How to Learn to Shoot Straight

Abstract : In order to support, for example, a quantitative analysis of various algorithms, protocols etc. probabilistic features have been introduced into a number of programming languages and calculi. It is by now quite standard to define the formal semantics of (various) probabilistic languages, for example, in terms of Discrete Time Markov Chains (DTMCs). In most cases however the probabilities involved are represented by constants, i.e. one deals with static probabilities. In this paper we investigate a semantical framework which allows for changing, i.e. dynamic probabilities which is still based on time-homogenous DTMCs, i.e. the transition matrix representing the semantics of a program does not change over time.
Type de document :
Communication dans un congrès
Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.262-277, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_16〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01631724
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 novembre 2017 - 16:14:12
Dernière modification le : jeudi 9 novembre 2017 - 16:15:52
Document(s) archivé(s) le : samedi 10 février 2018 - 13:39:43

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Herbert Wiklicky. On Dynamical Probabilities, or: How to Learn to Shoot Straight. Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.262-277, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_16〉. 〈hal-01631724〉

Partager

Métriques

Consultations de la notice

106