Type Systems for Distributed Programs: Components and Sessions

Dardha, O. (2016) Type Systems for Distributed Programs: Components and Sessions. Series: Atlantis studies in computing, 7. Atlantis Press (Springer). ISBN 9789462392038 (doi:10.2991/978-94-6239-204-5)

Full text not currently available from Enlighten.


No abstract available.

Item Type:Books
Keywords:Type systems, components, session types, pi-calculus, progress.
Glasgow Author(s) Enlighten ID:Dardha, Dr Ornela
Authors: Dardha, O.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science
Publisher:Atlantis Press (Springer)

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
612411From Data Types to Session Types - A Basis for Concurrency and Distribution.Simon GayEngineering & Physical Sciences Research Council (EPSRC)EP/K034413/1COM - COMPUTING SCIENCE