@misc(GROUPON,
 title        = "Groupon.",
 note         = "Web site: \url {http://www.groupon.com/}",
)
@misc(ODE,
 author       = "{Apache Software Foundation}",
 year         = "2011",
 title        = "{Apache ODE 1.3.5}",
 note         = "Available at {\url {http://ode.apache.org/}}",
)
@inproceedings(Caspis,
 author       = "M. Boreale and R. Bruni and R. {De Nicola} and M. Loreti",
 year         = "2008",
 title        = "Sessions and {P}ipelines for {S}tructured {S}ervice {P}rogramming",
 booktitle    = "FMOODS",
 series       = "LNCS",
 volume       = "5051",
 publisher    = "Springer",
 pages        = "19--38",
 doi          = "10.1007/978-3-540-68863-1\_3",
)
@inproceedings(Muse,
 author       = "R. Bruni and I. Lanese and H.C. Melgratti and E. Tuosto",
 year         = "2008",
 title        = "{Multiparty Sessions in SOC}",
 booktitle    = "COORDINATION",
 series       = "LNCS",
 volume       = "5052",
 publisher    = "Springer",
 pages        = "67--82",
 doi          = "10.1007/978-3-540-68265-3\_5",
)
@article(CC,
 author       = "L. Caires and H.T. Vieira",
 year         = "2010",
 title        = "Conversation types",
 journal      = "Theor. Comput. Sci.",
 volume       = "411",
 number       = "51-52",
 pages        = "4399--4440",
 doi          = "10.1016/j.tcs.2010.09.010",
)
@inproceedings(carboneesop,
 author       = "M. Carbone and K. Honda and N. Yoshida",
 year         = "2007",
 title        = "{S}tructured {C}ommunication-{C}entred {P}rogramming for {W}eb {S}ervices",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "4421",
 publisher    = "Springer",
 pages        = "2--17",
 doi          = "10.1007/978-3-540-71316-6\_2",
)
@inproceedings(CarboneM13,
 author       = "M. Carbone and F. Montesi",
 year         = "2013",
 title        = "Deadlock-freedom-by-design: multiparty asynchronous global programming",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "263--274",
 doi          = "10.1145/2429069.2429101",
)
@techreport(WSDL,
 author       = "E. Christensen and F. Curbera and G. Meredith and S. Weerawarana",
 year         = "2001",
 title        = "{W}eb {S}ervices {D}escription {L}anguage ({WSDL}) 1.1",
 type         = "Technical Report",
 institution  = "W3C",
 note         = "Available at \url {http://www.w3.org/TR/wsdl/}",
)
@misc(JAX,
 author       = "{GlassFish community}",
 year         = "2012",
 title        = "{JAX-WS 2.2.7}",
 note         = "Available at {\url {http://jax-ws.java.net/}}",
)
@techreport(WSADDRESSING,
 author       = "M. Gudgin and M. Hadley and T. Rogers",
 year         = "2006",
 title        = "{W}eb {S}ervices {A}ddressing 1.0 - {C}ore",
 type         = "Technical Report",
 institution  = "{W3C}",
)
@inproceedings(SOCK,
 author       = "C. Guidi and R. Lucchi and R. Gorrieri and N. Busi and G. Zavattaro",
 year         = "2006",
 title        = "{SOCK}: {A} {C}alculus for {S}ervice {O}riented {C}omputing",
 booktitle    = "ICSOC",
 series       = "LNCS",
 volume       = "4294",
 publisher    = "Springer",
 pages        = "327--338",
 doi          = "10.1007/11948148\_27",
)
@inproceedings(SessionTypesHVK98,
 author       = "K. Honda and V. T. Vasconcelos and M. Kubo",
 year         = "1998",
 title        = "Language {P}rimitives and {T}ype {D}iscipline for {S}tructured {C}ommunication-{B}ased {P}rogramming",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "1381",
 publisher    = "Springer",
 pages        = "122--138",
 doi          = "10.1007/BFb0053567",
)
@inproceedings(MultipartyAsyncST,
 author       = "K. Honda and N. Yoshida and M. Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 booktitle    = "POPL",
 publisher    = "ACM Press",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
)
@incollection(LMRV07,
 author       = "I. Lanese and F. Martins and A. Ravara and V.T. Vasconcelos",
 year         = "2007",
 title        = "Disciplining {O}rchestration and {C}onversation in {S}ervice-{O}riented {C}omputing",
 booktitle    = "SEFM",
 publisher    = "IEEE Computer Society Press",
 pages        = "305--314",
 doi          = "10.1109/SEFM.2007.13",
)
@inproceedings(LPT07:ESOP,
 author       = "A. Lapadula and R. Pugliese and F. Tiezzi",
 year         = "2007",
 title        = "A {C}alculus for {O}rchestration of {W}eb {S}ervices",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "4421",
 publisher    = "Springer",
 pages        = "33--47",
 doi          = "10.1007/978-3-540-71316-6\_4",
)
@inproceedings(MauroGGM11,
 author       = "J. Mauro and M. Gabbrielli and C. Guidi and F. Montesi",
 year         = "2011",
 title        = "An Efficient Management of Correlation Sets with Broadcast",
 booktitle    = "COORDINATION",
 series       = "LNCS",
 volume       = "6721",
 publisher    = "Springer",
 pages        = "80--94",
 doi          = "10.1007/978-3-642-25535-9\_45",
)
@inproceedings(MelgrattiR11,
 author       = "H.C. Melgratti and C. Rold{\'a}n",
 year         = "2012",
 title        = "On Correlation Sets and Correlation Exceptions in ActiveBPEL",
 booktitle    = "TGC",
 series       = "LNCS",
 volume       = "7173",
 publisher    = "Springer",
 pages        = "212--226",
 doi          = "10.1007/978-3-642-30065-3\_13",
)
@article(PICALC,
 author       = "R. Milner and J. Parrow and D. Walker",
 year         = "1992",
 title        = "A {C}alculus of {M}obile {P}rocesses, {I} and {II}",
 journal      = "Information and Computation",
 volume       = "100",
 number       = "1",
 pages        = "1--40, 41--77",
 doi          = "10.1016/0890-5401(92)90009-5",
)
@inproceedings(jolie,
 author       = "F. Montesi and C. Guidi and R. Lucchi and G. Zavattaro",
 year         = "2007",
 title        = "{JOLIE}: a {J}ava {O}rchestration {L}anguage {I}nterpreter {E}ngine",
 booktitle    = "MTCoord",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "181",
 publisher    = "Elsevier",
 pages        = "19--33",
 doi          = "10.1016/j.entcs.2007.01.051",
)
@techreport(WSBPEL,
 author       = "{OASIS WSBPEL TC}",
 year         = "2007",
 title        = "{W}eb {S}ervices {B}usiness {P}rocess {E}xecution {L}anguage {V}ersion 2.0",
 type         = "Technical Report",
 institution  = "OASIS",
 note         = "Available at \url {http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html}",
)
@article(COWS_JAL,
 author       = "R. Pugliese and F. Tiezzi",
 year         = "2012",
 title        = "A calculus for orchestration of web services",
 journal      = "J. Applied Logic",
 volume       = "10",
 number       = "1",
 pages        = "2--31",
 doi          = "10.1016/j.jal.2011.11.002",
)
@inproceedings(VieiraCS08,
 author       = "H.T. Vieira and L. Caires and J. C. Seco",
 year         = "2008",
 title        = "The Conversation Calculus: A Model of Service-Oriented Computation",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "4960",
 publisher    = "Springer",
 pages        = "269--283",
 doi          = "10.1007/978-3-540-78739-6\_21",
)
@inproceedings(Viroli,
 author       = "M. Viroli",
 year         = "2004",
 title        = "{T}owards a {F}ormal {F}oundation to {O}rchestration {L}anguages",
 booktitle    = "WS-FM",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "105",
 publisher    = "Elsevier",
 pages        = "51--71",
 doi          = "10.1016/j.entcs.2004.05.008",
)
@misc(PLAY,
 author       = "{Zenexity and Typesafe}",
 year         = "2013",
 title        = "{Play framework 2.1.0}",
 note         = "Available at {\url {http://www.playframework.com/}}",
)