A Discrete Geometric Model of Concurrent Program Execution.

Bernhard Möller Tony Hoare Martin E. Müller Georg Struth

Published in: UTP (2016)

Keyphrases

probabilistic model
program execution
probability distribution
computational model
mathematical model
similarity measure
geometric constraints