1. Compilers: Principles, Techniques, and Tools;Aho,2007
2. A unified WCET analysis framework for multi-core platforms;Chattopadhyay,2012
3. A general framework for analyzing shared-memory parallel programs;Chow,1992
4. Dataflow analysis for concurrent programs using datarace detection;Chugh,2008
5. Semantic analysis of communicating sequential processes;Cousot,1980