Static Analysis of Concurrent Programs Based on Behavioral Type Systems. - Abel Garcia Celestrin (2017)