@misc(CairesCFest14,
 author       = {Lu\'{\i}s Caires},
 year         = {2014},
 title        = {Types and Logic, Concurrency and Non-Determinism},
 howpublished = {In \emph{Essays for the Luca Cardelli Fest} - Microsoft Research Technical Report MSR-TR-2014-104},
 url          = {http://research.microsoft.com/apps/pubs/default.aspx?id=226237},
)
@inproceedings(CairesP10,
 author       = {Lu{\'{\i}}s Caires and Frank Pfenning},
 year         = {2010},
 title        = {Session Types as Intuitionistic Linear Propositions},
 booktitle    = {Proc. of {CONCUR} 2010},
 series       = {LNCS},
 volume       = {6269},
 publisher    = {Springer},
 pages        = {222--236},
 doi          = {10.1007/978-3-642-15375-4\_16},
)
@article(CairesPT12,
 author       = {Lu\'{\i}s Caires and Frank Pfenning and Bernardo Toninho},
 year         = {2014},
 title        = {Linear Logic Propositions as Session Types},
 journal      = {MSCS},
 doi          = {10.1017/S0960129514000218},
)
@inproceedings(CDM14,
 author       = {Marco Carbone and Ornela Dardha and Fabrizio Montesi},
 year         = {2014},
 title        = {Progress as Compositional Lock-Freedom},
 booktitle    = {COORDINATION},
 series       = {LNCS},
 volume       = {8459},
 publisher    = {Springer},
 pages        = {49--64},
 doi          = {10.1007/978-3-662-43376-8\_4},
)
@inproceedings(CD10,
 author       = {Marco Carbone and S{\o}ren Debois},
 year         = {2010},
 title        = {A Graphical Approach to Progress for Structured Communication in Web Services},
 booktitle    = {Proc. of {ICE} 2010, Amsterdam, The Netherlands, 10th of June 2010.},
 series       = {{EPTCS}},
 volume       = {38},
 pages        = {13--27},
 doi          = {10.4204/EPTCS.38.4},
)
@article(DBLP:journals/iandc/CostaS87,
 author       = {Gerardo Costa and Colin Stirling},
 year         = {1987},
 title        = {Weak and Strong Fairness in {CCS}},
 journal      = {Inf. Comput.},
 volume       = {73},
 number       = {3},
 pages        = {207--244},
 doi          = {10.1016/0890-5401(87)90013-7},
)
@inproceedings(DBLP:journals/corr/Dardha14,
 author       = {Ornela Dardha},
 year         = {2014},
 title        = {Recursive Session Types Revisited},
 booktitle    = {Proceedings Third Workshop on Behavioural Types, {BEAT} 2014, Rome, Italy, 1st September 2014.},
 series       = {{EPTCS}},
 volume       = {162},
 pages        = {27--34},
 doi          = {10.4204/EPTCS.162.4},
)
@inproceedings(DGS12,
 author       = {Ornela Dardha and Elena Giachino and Davide Sangiorgi},
 year         = {2012},
 title        = {Session types revisited},
 booktitle    = {Proc. of PPDP'12},
 publisher    = {{ACM}},
 pages        = {139--150},
 doi          = {10.1145/2370776.2370794},
)
@techreport(DardhaPerez15,
 author       = {Ornela Dardha and Jorge~A. P\'{e}rez},
 year         = {2015},
 title        = {Full version of this paper},
 type         = {Technical Report},
 url          = {http://www.jorgeaperez.net},
)
@inproceedings(DLY07,
 author       = {Dezani{-}Ciancaglini, Mariangiola and Ugo de'Liguoro and Nobuko Yoshida},
 year         = {2008},
 title        = {On Progress for Structured Communications},
 booktitle    = {Trustworthy Global Computing},
 series       = {LNCS},
 volume       = {4912},
 publisher    = {Springer},
 pages        = {257--275},
 doi          = {10.1007/978-3-540-78663-4\_18},
)
@article(Gorla10,
 author       = {Daniele Gorla},
 year         = {2010},
 title        = {Towards a unified approach to encodability and separation results for process calculi},
 journal      = {Inf. Comput.},
 volume       = {208},
 number       = {9},
 pages        = {1031--1053},
 doi          = {10.1016/j.ic.2010.05.002},
)
@inproceedings(HVK98,
 author       = {Kohei Honda and Vasco~Thudichum Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Discipline for Structured Communication-Based Programming},
 booktitle    = {Proc. of ESOP'98},
 series       = {LNCS},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@article(K02,
 author       = {Naoki Kobayashi},
 year         = {2002},
 title        = {A Type System for Lock-Free Processes},
 journal      = {Inf. Comput.},
 volume       = {177},
 number       = {2},
 pages        = {122--159},
 doi          = {10.1006/inco.2002.3171},
)
@inproceedings(K07,
 author       = {Naoki Kobayashi},
 year         = {2003},
 title        = {Type Systems for Concurrent Programs},
 booktitle    = {Formal Methods at the Crossroads},
 series       = {LNCS},
 volume       = {2757},
 publisher    = {Springer},
 pages        = {439--453},
 doi          = {10.1007/978-3-540-40007-3\_26},
)
@inproceedings(K06,
 author       = {Naoki Kobayashi},
 year         = {2006},
 title        = {A New Type System for Deadlock-Free Processes},
 booktitle    = {Proc. of {CONCUR} 2006},
 series       = {LNCS},
 volume       = {4137},
 publisher    = {Springer},
 pages        = {233--247},
 doi          = {10.1007/11817949\_16},
)
@inproceedings(P13,
 author       = {Luca Padovani},
 year         = {2013},
 title        = {From Lock Freedom to Progress Using Session Types},
 booktitle    = {Proceedings of {PLACES} 2013, Rome, Italy, 23rd March 2013.},
 series       = {{EPTCS}},
 volume       = {137},
 pages        = {3--19},
 doi          = {10.4204/EPTCS.137.2},
)
@book(Pierce02,
 author       = {Benjamin~C. Pierce},
 year         = {2002},
 title        = {Types and programming languages},
 publisher    = {MIT Press},
 address      = {MA, USA},
)
@inproceedings(DBLP:conf/tgc/ToninhoCP14,
 author       = {Bernardo Toninho and Lu{\'{\i}}s Caires and Frank Pfenning},
 year         = {2014},
 title        = {Corecursion and Non-divergence in Session-Typed Processes},
 booktitle    = {Proc. of {TGC} 2014},
 series       = {LNCS},
 volume       = {8902},
 publisher    = {Springer},
 pages        = {159--175},
 doi          = {10.1007/978-3-662-45917-1\_11},
)
@article(V12,
 author       = {Vasco~T. Vasconcelos},
 year         = {2012},
 title        = {Fundamentals of session types},
 journal      = {Inf. Comput.},
 volume       = {217},
 pages        = {52--70},
 doi          = {10.1016/j.ic.2012.05.002},
)
@inproceedings(DBLP:conf/coordination/VieiraV13,
 author       = {Hugo~Torres Vieira and Vasco~Thudichum Vasconcelos},
 year         = {2013},
 title        = {Typing Progress in Communication-Centred Systems},
 booktitle    = {COORDINATION},
 series       = {LNCS},
 volume       = {7890},
 publisher    = {Springer},
 pages        = {236--250},
 doi          = {10.1007/978-3-642-38493-6\_17},
)
@inproceedings(DBLP:conf/icfp/Wadler12,
 author       = {Philip Wadler},
 year         = {2012},
 title        = {Propositions as sessions},
 booktitle    = {Proc. of {ICFP}'12},
 pages        = {273--286},
 doi          = {10.1145/2364527.2364568},
)