University of Limerick Institutional Repository

From distributions to probabilistic reactive programs

DSpace Repository

Show simple item record

dc.contributor.author Bresciani, Riccardo
dc.contributor.author Butterfield, Andrew
dc.date.accessioned 2014-09-08T10:53:58Z
dc.date.available 2014-09-08T10:53:58Z
dc.date.issued 2013
dc.identifier.uri http://hdl.handle.net/10344/4000
dc.description peer-reviewed en_US
dc.description.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. en_US
dc.language.iso eng en_US
dc.publisher Springer en_US
dc.relation.ispartofseries 10th International Colloquium on Theoretical Aspects of Computing [Lecture Notes in Computer Science];8049, pp. 94-111
dc.relation.uri http://dx.doi.org/10.1007/978-3-642-39718-9_6
dc.rights The original publication is available at www.springerlink.com en_US
dc.subject computer software en_US
dc.subject UTP framework en_US
dc.title From distributions to probabilistic reactive programs en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics