Submitted by Anonymous on Mon, 2016-04-11 13:22 July 17-19. Shanghai, China. Authors: F. BonchiA. BrogiA. CancianiJ. SoldaniPublished: TASE 2016: Tenth International Symposiym in Theoretical Aspects of Software Engineering