Session Types
Simon J. Gay (u. a.)
ISBN 10: 1316518272 ISBN 13: 9781316518274
Published by Cambridge University Press, 2025
New
Buch
From
preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 5 August 2024
This specific item is no longer available.
About this Item
Description:
Session Types | Simon J. Gay (u. a.) | Buch | Englisch | 2025 | Cambridge University Press | EAN 9781316518274 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. Seller Inventory # 130767222
Synopsis:
Written by leading researchers in the area, this introductory text covers all the key concepts of session types.
About the Authors:
Simon J. Gay is Professor and Head of Computing Science at the University of Glasgow. He has co-edited two previous books: Semantic Techniques in Quantum Computation (2010) and Behavioural Types: From Theory to Tools (2017).
Vasco T. Vasconcelos is Professor at the Universidade de Lisboa. He co-authored one of the first papers on session types, for which he received the ETAPS Test of Time Award (2019).
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Session Types
Publisher: Cambridge University Press
Publication Date: 2025
Binding: Buch
Condition: Neu