Probabilistic Thread Algebra

DOI10.7561/SACS.2015.2.211zbMath1424.68031arXiv1409.6873MaRDI QIDQ4621195

C. A. Middelburg, Jan A. Bergstra

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1409.6873

zbMATH Keywords

probabilistic servicebasic thread algebraprobabilistic instructionprobabilistic interleaving strategyprobabilistic thread

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Probabilistic Thread Algebra