Items related to Session Types
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.
Search results for Session Types
Seller Image
Session Types
Published by
Cambridge University Press, 2025
ISBN 10: 1316518272
ISBN 13: 9781316518274
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 49381555
Stock Image
Session Types
Published by
Cambridge University Press, 2025
ISBN 10: 1316518272
ISBN 13: 9781316518274
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 49381555-n
Stock Image
Session Types
Published by
Cambridge University Press, 2025
ISBN 10: 1316518272
ISBN 13: 9781316518274
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9781316518274
Stock Image
Session Types
Published by
Cambridge University Press, 2025
ISBN 10: 1316518272
ISBN 13: 9781316518274
New
Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-318121
Seller Image
Session Types
Published by
Cambridge University Press, GB, 2025
ISBN 10: 1316518272
ISBN 13: 9781316518274
New
Hardcover
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. 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. Seller Inventory # LU-9781316518274
Buy New
£ 62.05
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Session Types
Published by
Cambridge University Press, 2025
ISBN 10: 1316518272
ISBN 13: 9781316518274
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 49381555-n
Buy New
£ 49.37
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Session Types
Published by
Cambridge University Press, 2025
ISBN 10: 1316518272
ISBN 13: 9781316518274
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9781316518274_new
Buy New
£ 59.28
£ 11.29 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Session Types
Published by
Cambridge University Press, 2025
ISBN 10: 1316518272
ISBN 13: 9781316518274
Used
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 49381555
Buy Used
£ 58.94
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Session Types
Published by
Cambridge University Press, 2025
ISBN 10: 1316518272
ISBN 13: 9781316518274
New
Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2025. hardcover. . . . . . Seller Inventory # V9781316518274
Buy New
£ 66.05
£ 8.01 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: Over 20 available
Stock Image
Session Types
Published by
Cambridge University Press, 2025
ISBN 10: 1316518272
ISBN 13: 9781316518274
New
Hardcover
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26404015683