Type systems for distributed programs : components and sessions /: components and sessions. (2016)

• Record Type: Book
• Further Information: Note: Ornela Dardha.
• Authors: Dardha, Ornela
• Contents: 1.Background on Components -- 2. A Type System for Components -- 3. Properties of the Type System -- 4.Background on ?- Types -- 5. Background on Session Types -- 6. Session Types Revisited -- 7. Subtyping -- 8. Polymorphism -- 9.Higher-Order Communication -- 10.Recursion -- 11.From ?- Types to Session Types -- 12. Background on ?- types for Lock Freedom -- 13 Background on Session Types for Progress -- 14 Progress as Compositional Lock Freedom.
• Publisher Details: France : Atlantis Press
• Publication Date: 2016
• Extent: 1 online resource (xxii, 192 pages), illustrations (some color)
• Subjects: 005.1/4; Computer software -- Verification; Electronic data processing -- Distributed processing; Programming languages (Electronic computers); COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing; Computer software -- Verification; Electronic data processing -- Distributed processing; Programming languages (Electronic computers); Computer Science; Mathematical Logic and Formal Languages; Electronic books
• Languages: English
• ISBNs: 9789462392045; 9462392048; 9789462392038
• Related ISBNs: 946239203X; 9789462392038
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (SpringerLink, viewed August 4, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.