1. Type systems for distributed programs : components and sessions /: components and sessions. (2016) Authors: Dardha, Ornela Record Type: Book Extent: 1 online resource (xxii, 192 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗