Sessions and Session Types: an Overview

We illustrate the concepts of sessions and session types as they have been developed in the setting of the pi-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.