On dynamical probabilities, or: how to learn to shoot straight
File(s)Paper53.pdf (373.69 KB)
Accepted version
Author(s)
Wiklicky, H
Type
Conference Paper
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.
Date Issued
2016-05-24
Date Acceptance
2016-03-30
Citation
Coordination Models and Languages, 2016, 9686, pp.262-277
ISBN
978-3-319-39518-0
ISSN
1439-7358
Publisher
Springer Verlag
Start Page
262
End Page
277
Journal / Book Title
Coordination Models and Languages
Volume
9686
Copyright Statement
© Springer Verlag 2016. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-39519-7_16
Source
Coordination 2016
Publication Status
Published
Start Date
2016-06-06
Finish Date
2016-06-09
Coverage Spatial
Heraklion, Crete, Greece