Books by Portugal) International Conference on Application of Concurrency to System Design (10th 2010 Braga on BookTides.