@misc(erlang:sup,
 author       = "Ericsson AB",
 year         = "2013",
 title        = "{Erlang/OTP - System Documentation: Supervisor Module}",
 howpublished = "\url {http://www.erlang.org/doc/man/supervisor.html}",
)
@article(BGPZFMOODS,
 author       = "Mario Bravetti and Cinzia {Di Giusto} and Jorge~A. P\'{e}rez and Gianluigi Zavattaro",
 year         = "2012",
 title        = "{Adaptable Processes}",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 number       = "4",
 url          = "http://dx.doi.org/10.2168/LMCS-8(4:13)2012",
 note         = "Extended abstract in Proc. of FMOODS-FORTE'11, Springer, LNCS 6722",
)
@inproceedings(DBLP:journals/corr/abs-1010-5566,
 author       = "Marco Carbone and S{\o }ren Debois",
 year         = "2010",
 title        = "A Graphical Approach to Progress for Structured Communication in Web Services",
 editor       = "Simon Bliudze and Roberto Bruni and Davide Grohmann and Alexandra Silva",
 booktitle    = "ICE",
 series       = "EPTCS",
 volume       = "38",
 pages        = "13--27",
 url          = "http://dx.doi.org/10.4204/EPTCS.38.4",
)
@inproceedings(DBLP:conf/concur/DemangeonH12,
 author       = "Romain Demangeon and Kohei Honda",
 year         = "2012",
 title        = "Nested Protocols in Session Types",
 editor       = "Maciej Koutny and Irek Ulidowski",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "7454",
 publisher    = "Springer",
 pages        = "272--286",
 url          = "http://dx.doi.org/10.1007/978-3-642-32940-1_20",
)
@article(DBLP:journals/corr/abs-1208-6483,
 author       = "Pierre-Malo Deni{\'e}lou and Nobuko Yoshida and Andi Bejleri and Raymond Hu",
 year         = "2012",
 title        = "Parameterised Multiparty Session Types",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 number       = "4",
 url          = "http://dx.doi.org/10.2168/LMCS-8(4:6)2012",
)
@inproceedings(DLYTGC07,
 author       = "Mariangiola Dezani-Ciancaglini and Ugo de'Liguoro and Nobuko Yoshida",
 year         = "2007",
 title        = "On Progress for Structured Communications",
 booktitle    = "TGC 2007",
 series       = "Lecture Notes in Computer Science",
 volume       = "4912",
 publisher    = "Springer",
 pages        = "257--275",
 url          = "http://dx.doi.org/10.1007/978-3-540-78663-4_18",
)
@inproceedings(dGP13,
 author       = "Cinzia {Di Giusto} and Jorge~A. P{\'e}rez",
 year         = "2013",
 title        = "Disciplined structured communications with consistent runtime adaptation",
 editor       = "Sung~Y. Shin and Jos{\'e}~Carlos Maldonado",
 booktitle    = "SAC",
 publisher    = "ACM",
 pages        = "1913--1918",
 url          = "http://doi.acm.org/10.1145/2480362.2480716",
)
@techreport(dGP13-long,
 author       = "Cinzia {Di Giusto} and Jorge~A. P\'{e}rez",
 year         = "2013",
 title        = "Disciplined Structured Communications with Consistent Runtime Adaptation (Extended Version)",
 type         = "Technical Report",
 institution  = "CITI - FCT UNL",
 note         = "Available at \url {http://www.jorgeaperez.net/publications/sac13ext.pdf}",
)
@inproceedings(DBLP:conf/ppdp/GarraldaCD06,
 author       = "Pablo Garralda and Adriana~B. Compagnoni and Mariangiola Dezani-Ciancaglini",
 year         = "2006",
 title        = "BASS: boxed ambients with safe sessions",
 booktitle    = "PPDP",
 publisher    = "ACM",
 pages        = "61--72",
 url          = "http://doi.acm.org/10.1145/1140335.1140344",
)
@article(DBLP:journals/acta/GayH05,
 author       = "Simon~J. Gay and Malcolm Hole",
 year         = "2005",
 title        = "Subtyping for session types in the pi calculus",
 journal      = "Acta Inf.",
 volume       = "42",
 number       = "2-3",
 pages        = "191--225",
 url          = "http://dx.doi.org/10.1007/s00236-005-0177-z",
)
@inproceedings(DBLP:conf/esop/HondaVK98,
 author       = "Kohei Honda and Vasco~Thudichum Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "1381",
 publisher    = "Springer",
 pages        = "122--138",
 url          = "http://dx.doi.org/10.1007/BFb0053567",
)
@article(DBLP:journals/entcs/YoshidaV07,
 author       = "Nobuko Yoshida and Vasco~Thudichum Vasconcelos",
 year         = "2007",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "171",
 number       = "4",
 pages        = "73--93",
 url          = "http://dx.doi.org/10.1016/j.entcs.2007.02.056",
)