Probabilistic Thread Algebra

This is to announce the publication of a paper concerning an application of meadows. The paper “Probabilistic Thread Algebra” (doi:10.7561/SACS.2015.2.211) has now been published. This paper introduce an algebraic theory of mathematical objects that represent the behaviours produced by probabilistic instruction sequences under execution. It concerns an application of meadows because functions whose range is the carrier of a meadow are taken as probability measures.

About Kees Middelburg

Retired computer scientist
This entry was posted in Announcement of Publication and tagged , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s