The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Sessions and Session Types: An Overview

The work

AuthorsMariangiola Dezani-Ciancaglini; Ugo De’Liguoro
Editors
Typemisc
Year2010
Also known asanon2010sessions
Citekeydezaniciancaglini2010sessions

Where it appeared

PublisherSpringer Berlin Heidelberg

How it got here

How it got hereagent via unpaywall
Added2026-10-26 19:53 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{dezaniciancaglini2010sessions,
  title        = {Sessions and Session Types: An Overview},
  author       = {Mariangiola Dezani-Ciancaglini and Ugo De’Liguoro},
  year         = {2010},
  publisher    = {Springer Berlin Heidelberg},
  doi          = {10.1007/978-3-642-14458-5_1},
}

This record lives at https://refs.drheap.org/dezaniciancaglini2010sessions/ and will keep doing so. It used to be called anon2010sessions, and those addresses still resolve to this one.