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.
Abstract
No abstract available.
| Item Type: | Books |
|---|---|
| Keywords: | Type systems, components, session types, pi-calculus, progress. |
| Status: | Published |
| 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) |
| ISSN: | 2212-8557 |
| ISBN: | 9789462392038 |
University Staff: Request a correction | Enlighten Editors: Update this record
Funder and Project Information
Funder and Project Information