Trending Bestseller

Session Types

No reviews yet Write a Review
Session types are type-theoretic specifications of 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 within the field of programming language theory and implementation. Written by leading researchers in the field, this is the first text to provide a comprehensive introduction to the key concepts of session types. The thorough theoretical treatment is complemented by examples and exercises, suitable for use in a lecture course or for self-study. It serves as an entry point to the topic for graduate students and researchers.
Hardback
30 April 2025
$126.79
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:
Product Details
ISBN-13
9781316518274
Publisher
Cambridge University Press
Published
30 April 2025
Format
Hardback

This product hasn't received any reviews yet. Be the first to review this product!

$126.79
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:

Session Types

$126.79

Description