On Dynamical Probabilities, or: How to Learn to Shoot Straight - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

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

(1)
1
Herbert Wiklicky
  • Function : Author
  • PersonId : 1022472

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.
Fichier principal
Vignette du fichier
416253_1_En_16_Chapter.pdf (373.68 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01631724 , version 1 (09-11-2017)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Herbert Wiklicky. On Dynamical Probabilities, or: How to Learn to Shoot Straight. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.262-277, ⟨10.1007/978-3-319-39519-7_16⟩. ⟨hal-01631724⟩
155 View
30 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More