Complexity and information flow analysis for multi-threaded programs
and
Eur. Phys. J. Special Topics, 226 10 (2017) 2375-2392
Published online: 31 January 2017
DOI: 10.1140/epjst/e2016-60402-0