Tag Archives: instruction sequence

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 … Continue reading

Posted in Announcement of Publication | Tagged , , , , | Leave a comment