Session types
Auteur :
Gay, Simon J. / Vasconcelos, Vasco T.
Éditeur :
Cambridge University Press
ISBN :
9781316518274
Date de publication :
27 mars 2025
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This introductory text explores the key concepts of session types, which codify the structure of communication, making software more reliable and easier to construct. Complemented by examples and exercises throughout, it serves as an entry point to the topic for graduate students and researchers.