Type systems for coordination languages. - Haoxuan Cai (2012)