Session Types /

"Session types are type-theoretic specifications for communication protocols in concurrent or distributed systems. By codifying the structure of communication, they make software more reliable and easier to construct. Over recent decades, the topic has become a large and active research area wi...

Full description

Bibliographic Details

Main Authors:	Gay, Simon, 1969- (Author), Vasconcelos, Vasco T. (Author)
Format:	Book
Language:	English
Published:	Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2025.
Subjects:	Programming languages (Electronic computers) Type theory. Théorie des types.