@inproceedings(BierhoffAldrich:plural,
 author       = "Kevin Bierhoff and Jonathan Aldrich",
 year         = "2008",
 title        = "{PLURAL}: checking protocol compliance under aliasing",
 booktitle    = "ICSE Companion '08",
 publisher    = "ACM Press",
 pages        = "971--972",
 doi          = "10.1145/1370175.1370213",
)
@mastersthesis(campos:linear-shared-objects-concurrent-programming,
 author       = "Joana Campos",
 year         = "2010",
 title        = "Linear and Shared Objects in Concurrent Programming",
 school       = "University of Lisbon",
)
@techreport(DeLine03thefugue,
 author       = "Robert DeLine and Manuel F\"ahndrich",
 year         = "2003",
 title        = "The Fugue protocol checker: Is your software Baroque?",
 type         = "Technical Report",
 number       = "MSR-TR-2004-07",
 institution  = "Microsoft Research",
)
@inproceedings(DezaniCiancagliniM:sestoo,
 author       = "Mariangiola Dezani-Ciancaglini and Dimitris Mostrous and Nobuko Yoshida and Sophia Drossopolou",
 year         = "2006",
 title        = "Session Types for Object-Oriented Languages",
 booktitle    = "ECOOP'06",
 series       = "LNCS",
 volume       = "4067",
 publisher    = "Springer",
 pages        = "328--352",
 doi          = "10.1007/11785477\_20",
)
@inproceedings(DezaniCiancagliniM:disool,
 author       = "Mariangiola Dezani-Ciancaglini and Nobuko Yoshida and Alexander Ahern and Sophia Drossopolou",
 year         = "2005",
 title        = "A Distributed Object-Oriented Language with Session Types",
 booktitle    = "TGC'05",
 series       = "LNCS",
 volume       = "3705",
 publisher    = "Springer",
 pages        = "299--318",
 doi          = "10.1007/11580850\_16",
)
@inproceedings(FahndrichM:lansfr,
 author       = "Manuel F\"ahndrich and Mark Aiken and Chris Hawblitzel and Orion Hodson and Galen Hunt and James R. Larus and Steven Levi",
 year         = "2006",
 title        = "Language Support for Fast and Reliable Message-based Communication in {S}ingularity {OS}",
 booktitle    = "EuroSys",
 publisher    = "ACM Press",
 pages        = "177--190",
 doi          = "10.1145/1217935.1217953",
)
@inproceedings(flanaganA99,
 author       = "Cormac Flanagan and Mart\'{\i }n Abadi",
 year         = "1999",
 title        = "Types for Safe Locking",
 booktitle    = "ESOP'99",
 series       = "LNCS",
 volume       = "1576",
 publisher    = "Springer",
 pages        = "91--108",
 doi          = "10.1007/3-540-49099-X\_7",
)
@inproceedings(gay.vasconcelos.etal_modular-session-types,
 author       = "Simon Gay and Vasco T. Vasconcelos and Ant\'onio Ravara and Nils Gesbert and Alexandre Z. Caldeira",
 year         = "2010",
 title        = "Modular Session Types for Distributed Object-Oriented Programming",
 booktitle    = "POPL'10",
 publisher    = "ACM Press",
 pages        = "299--312",
 doi          = "10.1145/1706299.1706335",
)
@article(GaySJ:substp,
 author       = "Simon J. Gay and Malcolm J. 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",
)
@techreport(GaySJ:sestip,
 author       = "Simon J. Gay and Ant\'{o}nio Ravara and Vasco T. Vasconcelos",
 year         = "2003",
 title        = "Session Types for Inter-Process Communication",
 type         = "Technical Report",
 number       = "TR-2003-133",
 institution  = "Comp.\ Sci., Univ.\ Glasgow",
)
@inproceedings(HondaK:mulast,
 author       = "K. Honda and N. Yoshida and M. Carbone",
 year         = "2008",
 title        = "Multiparty Asynchronous Session Types",
 booktitle    = "POPL'08",
 publisher    = "ACM Press",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
)
@inproceedings(HondaK:typdi,
 author       = "Kohei Honda",
 year         = "1993",
 title        = "Types for Dyadic Interaction",
 booktitle    = "CONCUR'93",
 series       = "LNCS",
 volume       = "715",
 publisher    = "Springer",
 pages        = "509--523",
 doi          = "10.1007/3-540-57208-2\_35",
)
@inproceedings(HondaK:lanptd,
 author       = "Kohei Honda and Vasco Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming",
 booktitle    = "ESOP'98",
 series       = "LNCS",
 volume       = "1381",
 publisher    = "Springer",
 pages        = "122--138",
 doi          = "10.1007/BFb0053567",
)
@mastersthesis(MilitaoF:yak,
 author       = "Filipe {Milit\~{a}o}",
 year         = "2008",
 title        = "Design and Implementation of a Behaviorally Typed Programming System for Web Services",
 school       = "New University of Lisbon",
)
@mastersthesis(Mostrous05moose,
 author       = "Dimitris Mostrous",
 year         = "2005",
 title        = "Moose: a Minimal Object Oriented Language with Session Types",
 school       = "University of London",
)
@inproceedings(NeubauerM:impst,
 author       = "Matthias Neubauer and Peter Thiemann",
 year         = "2004",
 title        = "An Implementation of Session Types",
 booktitle    = "PADL'04",
 series       = "LNCS",
 volume       = "3057",
 publisher    = "Springer",
 pages        = "56--70",
 doi          = "10.1007/978-3-540-24836-1\_5",
)
@incollection(nierstrasz:regular-types,
 author       = "Oscar Nierstrasz",
 year         = "1995",
 title        = "Regular types for active objects",
 booktitle    = "Object-Oriented Software Composition",
 publisher    = "Prentice Hall",
 pages        = "99--121",
)
@article(StromYemini:typestates,
 author       = "Robert E. Strom and Shaula Yemini",
 year         = "1986",
 title        = "Typestate: A programming language concept for enhancing software reliability",
 journal      = "IEEE Transactions on Software Engeneering",
 volume       = "12",
 number       = "1",
 pages        = "157--171",
)
@inproceedings(HondaK:intblt,
 author       = "Kaku Takeuchi and Kohei Honda and Makoto Kubo",
 year         = "1994",
 title        = "An Interaction-Based Language and its Typing System",
 booktitle    = "Parle'94",
 series       = "LNCS",
 volume       = "817",
 publisher    = "Springer",
 pages        = "398--413",
 doi          = "10.1007/3-540-58184-7\_118",
)
@article(VallecilloVasconcelosEtal:typing-behavior-objects,
 author       = "Antonio Vallecillo and Vasco T. Vasconcelos and Ant\'onio Ravara",
 year         = "2006",
 title        = "Typing the Behavior of Objects and Components using Session Types",
 journal      = "Fundamenta Informatic\ae ",
 volume       = "73",
 number       = "4",
 pages        = "583--598",
 doi          = "10.1016/S1571-0661(05)80382-2",
)
@inproceedings(VasconcelosV:session-types-functional,
 author       = "Vasco T. Vasconcelos",
 year         = "2009",
 title        = "Session Types for Linear Multithreaded Functional Programming",
 booktitle    = "PPDP'09",
 publisher    = "ACM Press",
 pages        = "1--6",
 doi          = "10.1145/1599410.1599411",
)
@inbook(vasconcelos:fundamental-sessions,
 author       = "Vasco T. Vasconcelos",
 year         = "2009",
 title        = "SFM",
 chapter      = "Fundamentals of Session Types",
 pages        = "158--186",
 series       = "LNCS",
 volume       = "5569",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-01918-0\_4",
)
@article(VasconcelosVT:typmfl,
 author       = "Vasco T. Vasconcelos and Simon J. Gay and Ant\'onio Ravara",
 year         = "2006",
 title        = "Typechecking a Multithreaded Functional Language with Session Types",
 journal      = "Theoretical Computer Science",
 volume       = "368",
 number       = "1--2",
 pages        = "64--87",
 doi          = "10.1016/j.tcs.2006.06.028",
)
@unpublished(GaySJ:dyni,
 author       = "Vasco T. Vasconcelos and Simon J. Gay and Ant\'onio Ravara and Nils Gesbert and Alexandre Z. Caldeira",
 year         = "2009",
 title        = "Dynamic Interfaces",
 note         = "FOOL",
)