Complexity and information flow analysis for multi-threaded programs.

Saved in:
Bibliographic Details
Title: Complexity and information flow analysis for multi-threaded programs.
Authors: Ngo, Tri1 tringominh@gmail.com, Huisman, Marieke2 Marieke.Huisman@ewi.utwente.nl
Source: European Physical Journal: Special Topics. Jul2017, Vol. 226 Issue 10, p2375-2392. 18p.
Database: Academic Search Ultimate
Description
ISSN:19516355
DOI:10.1140/epjst/e2016-60402-0