Thumbnail Image
Publication

From distributions to probabilistic reactive programs

Date
2013
Abstract
We have introduced probability in the UTP framework by using functions from the state space to real numbers, which we term distributions, that are embedded in the predicates describing the di er- ent program constructs. This has allowed us to derive a probabilistic theory of designs starting from a probabilistic version of the relational theory, and continuing further down this road we can get to a theory of probabilistic reactive programs. This paper presents the route that connects these steps, and discusses the challenges lying ahead in view of a probabilistic CSP based on distributions.
Supervisor
Description
peer-reviewed
Publisher
Springer
Citation
10th International Colloquium on Theoretical Aspects of Computing [Lecture Notes in Computer Science];8049, pp. 94-111
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
Brescani_2013_programme.pdf
Adobe PDF, 401.07 KB
Keywords
computer software, UTP framework
ULRR Identifiers
https://researchrepository.ul.ie/handle/10344/4000
 https://doi.org/10.34961/971
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/
License