uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Refinement Algebra for Probabilistic Programs
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Arts, Department of Philosophy.
2010 (English)In: Formal Aspects of Computing, ISSN 0934-5043, E-ISSN 1433-299X, Vol. 22, no 1, 3-31 p.Article in journal (Refereed) Published
Abstract [en]

We identify a refinement algebra for reasoning about probabilistic program transformations in a total-correctness setting. The algebra is equipped with operators that determine whether a program is enabled or terminates respectively. As well as developing the basic theory of the algebra we demonstrate how it may be used to explain key differences and similarities between standard (i.e. non-probabilistic) and probabilistic programs and verify important transformation theorems for probabilistic action systems.

Place, publisher, year, edition, pages
London: Springer International , 2010. Vol. 22, no 1, 3-31 p.
National Category
Philosophy
Identifiers
URN: urn:nbn:se:uu:diva-119862DOI: 10.1007/s00165-009-0111-1ISI: 000273979400002OAI: oai:DiVA.org:uu-119862DiVA: diva2:301075
Available from: 2010-03-02 Created: 2010-03-02 Last updated: 2017-12-12

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://www.springerlink.com/content/17470421p43458h4/fulltext.pdf

Authority records BETA

Solin, Kim

Search in DiVA

By author/editor
Solin, Kim
By organisation
Department of Philosophy
In the same journal
Formal Aspects of Computing
Philosophy

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 397 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf