Causal Termination of Multi-threaded Programs.

Andrey Kupriyanov Bernd Finkbeiner

Published in: CAV (2014)

Keyphrases

multi threaded
operating system
multi core processors
information flow
multithreading
real time
bayesian networks
evolutionary algorithm
computer architecture