Linear Logic and Coordination for Parallel Programming - Flávio Manuel Fernandes Cruz (2015)