@misc(BDGK14,
 author       = "Giovanni Bernardi and Ornela Dardha and Simon~J. Gay and Dimitrios Kouzapas",
 year         = "2014",
 title        = "On duality relations for session types",
 howpublished = "To appear in Proc. of TGC",
)
@article(BH13,
 author       = "Giovanni Bernardi and Matthew Hennessy",
 year         = "2013",
 title        = "Using higher-order contracts to model session types",
 journal      = "CoRR",
 volume       = "abs/1310.6176",
 url          = "http://arxiv.org/abs/1310.6176",
)
@misc(D14Ext,
 author       = "Ornela Dardha",
 year         = "2014",
 title        = "Recursive Session Types Revisited",
 note         = "\newline \url {http://www.dcs.gla.ac.uk/~ornela/my_papers/D14-Extended.pdf}",
)
@phdthesis(DardhaPhDThesis,
 author       = "Ornela Dardha",
 year         = "2014",
 title        = "Type Systems for Distributed Programs: Components and Sessions",
 school       = "University of Bologna",
 note         = "\url {http://www.dcs.gla.ac.uk/~ornela/my_papers/DardhaPhDThesis.pdf}",
)
@inproceedings(DGS12,
 author       = "Ornela Dardha and Elena Giachino and Davide Sangiorgi",
 year         = "2012",
 title        = "Session types revisited",
 booktitle    = "PPDP",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "139--150",
 doi          = "10.1145/2370776.2370794",
)
@article(GH05,
 author       = "Simon Gay and Malcolm Hole",
 year         = "2005",
 title        = "Subtyping for Session Types in the Pi Calculus",
 journal      = "Acta Informatica",
 volume       = "42",
 number       = "2-3",
 pages        = "191--225",
 doi          = "10.1007/s00236-005-0177-z",
)
@article(G08,
 author       = "Simon~J. Gay",
 year         = "2008",
 title        = "Bounded polymorphism in session types",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "18",
 number       = "5",
 pages        = "895--930",
 doi          = "10.1017/S0960129508006944",
)
@inproceedings(HVK98,
 author       = "Kohei Honda and Vasco Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language primitives and type disciplines for structured communication-based programming",
 booktitle    = "ESOP'98",
 series       = "LNCS",
 volume       = "1381",
 publisher    = "springer",
 address      = "Heidelberg, Germany",
 pages        = "22--138",
 doi          = "10.1007/BFb0053567",
)
@inproceedings(KPT96,
 author       = "Naoki Kobayashi and Benjamin Pierce and David Turner",
 year         = "1996",
 title        = "Linear Types and $\pi $-calculus",
 booktitle    = "POPL",
 volume       = "21(5)",
 publisher    = "ACM Press",
 address      = "New York, NY, USA",
 pages        = "358--371",
 doi          = "10.1145/330249.330251",
)
@book(Sangio01,
 author       = "Davide Sangiorgi and David Walker",
 year         = "2001",
 title        = "The $\pi $-calculus - a theory of mobile processes",
 publisher    = "Cambridge University Press",
)
@inproceedings(THK94,
 author       = "Kaku Takeuchi and Kohei Honda and Makoto Kubo",
 year         = "1994",
 title        = "An Interaction-based Language and its Typing System",
 booktitle    = "PARLE'94",
 pages        = "398--413",
 doi          = "10.1007/3-540-58184-7\_118",
)
@article(V12,
 author       = "Vasco~T. Vasconcelos",
 year         = "2012",
 title        = "Fundamentals of session types",
 journal      = "Information Computation",
 volume       = "217",
 pages        = "52--70",
 doi          = "10.1016/j.ic.2012.05.002",
)