%0 Conference Proceedings
%T On Dynamical Probabilities, or: How to Learn to Shoot Straight
%+ Imperial College London
%A Wiklicky, Herbert
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 18th International Conference on Coordination Languages and Models (COORDINATION)
%C Heraklion, Greece
%Y Alberto Lluch Lafuente
%Y José Proença
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9686
%P 262-277
%8 2016-06-06
%D 2016
%R 10.1007/978-3-319-39519-7_16
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01631724/document
%2 https://inria.hal.science/hal-01631724/file/416253_1_En_16_Chapter.pdf
%L hal-01631724
%U https://inria.hal.science/hal-01631724
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-9686