Ornela Dardha Type Systems for Distributed Programs: Components and Sessions - Springer Springer 2016 ISBN: 9789462392045 Source: EBOOK