2010 | OriginalPaper | Chapter
Sessions and Session Types: An Overview
Authors : Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro
Published in: Web Services and Formal Methods
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We illustrate the concepts of sessions and session types as they have been developed in the setting of the
π
-calculus. Motivated by the goal of obtaining a formalisation closer to existing standards and aiming at their enhancement and strengthening, several extensions of the original core system have been proposed, which we survey together with the embodying of sessions into functional and object-oriented languages, as well as some implementations.