- Author
- Year
- 2015
- Title
- Probabilistic thread algebra
- Journal
- Scientific Annals of Computer Science
- Volume | Issue number
- 25 | 2
- Pages (from-to)
- 211-243
- Document type
- Article
- Faculty
- Faculty of Science (FNWI)
- Institute
- Informatics Institute (IVI)
- Abstract
-
We add probabilistic features to basic thread algebra and its extensions with thread-service interaction and strategic interleaving. Here, threads represent the behaviours produced by instruction sequences under execution and services represent the behaviours exhibited by the components of execution environments of instruction sequences. In a paper concerned with probabilistic instruction sequences, we proposed several kinds of probabilistic instructions and gave an informal explanation for each of them. The probabilistic features added to the extension of basic thread algebra with thread-service interaction make it possible to give a formal explanation in terms of non-probabilistic instructions and probabilistic services. The probabilistic features added to the extensions of basic thread algebra with strategic interleaving make it possible to cover strategies corresponding with probabilistic scheduling algorithms.
- URL
- go to publisher's site
- Language
- English
- Related publication
- A Thread Algebra with Probabilistic Features
- Persistent Identifier
- https://hdl.handle.net/11245.1/badfb2fc-8f14-4b9f-aabf-95704faf08af
- Downloads
-
XXV2_1(Final published version)
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.