2010
DOI: 10.1007/978-3-642-14458-5_1
|View full text |Cite
|
Sign up to set email alerts
|

Sessions and Session Types: An Overview

Abstract: Abstract. 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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
53
0

Year Published

2010
2010
2020
2020

Publication Types

Select...
8
1
1

Relationship

1
9

Authors

Journals

citations
Cited by 64 publications
(53 citation statements)
references
References 60 publications
0
53
0
Order By: Relevance
“…Mobility is also present, since both session and server names may be passed around (delegated) in communications. Session types have been introduced to discipline interactions in session-based concurrency, an important paradigm in communication-centric programming (see [11]). …”
Section: Introductionmentioning
confidence: 99%
“…Mobility is also present, since both session and server names may be passed around (delegated) in communications. Session types have been introduced to discipline interactions in session-based concurrency, an important paradigm in communication-centric programming (see [11]). …”
Section: Introductionmentioning
confidence: 99%
“…We refer to [9] and [17] for overviews. Since the original proposal of [12], such calculi have been extensively studied and enriched with various features.…”
Section: Conclusion and Related Workmentioning
confidence: 99%
“…Dependent session types [4,18] are a conservative extension of session types [10,5,6,9] that allow us to not only describe the behavior of processes in terms of their input and output behavior but also enable us to describe rich properties of the communicated data themselves.…”
Section: Dependent Session Typesmentioning
confidence: 99%