A. C.

UvA-DARE ( Digital Academic Repository ) Probabilistic thread

A. J., A. C., 2017 .

Probabilistic Thread Algebra

J. Bergstra, K. Middelburg, A. J., 2014, Sci. Ann. Comput. Sci..

UvA-DARE ( Digital Academic Repository ) Probabilistic thread algebra

A. J., A. C., 2015 .

UvA-DARE ( Digital Academic Repository ) Probabilistic thread algebra

A. J., A. C., 2015 .

On Instruction Sets for Boolean Registers in Program Algebra

J. Bergstra, K. Middelburg, A. J., 2015, Sci. Ann. Comput. Sci..