Instant online reading.
Don't wait for delivery!

Session Types

By: Simon J. Gay, Vasco T. Vasconcelos

Write A Review

Hardcover | 27 March 2025

At a Glance

Hardcover
248 Pages

Dimensions(cm)
24.41 x 16.99 x 1.6

Hardcover

RRP $92.95

$84.75

or 4 interest-free payments of $21.19 with

or

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.