Type Systems for Distributed Programs: Components and Sessions (2016)

First Author: Dardha O
Attributed to:  From Data Types to Session Types---A Basis for Concurrency and Distribution funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://link.springer.com/book/10.2991%2F978-94-6239-204-5

Type: Book

Edition: 1

ISBN: 978-94-6239-203-8