Items related to Session Types

Session Types - Hardcover

Simon J. Gay , Vasco T. Vasconcelos

 
9781316518274: Session Types
Hardcover
ISBN 10: 1316518272 ISBN 13: 9781316518274
Publisher: Cambridge University Press, 2025

Synopsis

Written by leading researchers in the area, this introductory text covers all the key concepts of session types.

"synopsis" may belong to another edition of this title.

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.

Publisher
Cambridge University Press
Publication date
2025
Language
English
ISBN 10 
1316518272
ISBN 13 
9781316518274
Binding
Hardcover
Number of pages
246