@inproceedings(BdL10,
 author       = {Franco Barbanera and Ugo de'Liguoro},
 year         = {2010},
 title        = {Two notions of sub-behaviour for session-based client/server systems},
 booktitle    = {PPDP},
 publisher    = {ACM Press},
 pages        = {155--164},
 doi          = {10.1145/1836089.1836109},
)
@inproceedings(BdL14b,
 author       = {Franco Barbanera and Ugo de' Liguoro},
 year         = {2014},
 title        = {Loosening the notions of compliance and sub-behaviour in client/server systems},
 booktitle    = {{\rm Proceedings 7th} ICE 2014},
 series       = {EPTCS},
 volume       = {166},
 pages        = {94--110},
 doi          = {10.4204/EPTCS.166.10},
)
@article(BdL13,
 author       = {Franco Barbanera and Ugo de' Liguoro},
 year         = {2014},
 title        = {{Sub-behaviour relations for session-based client/server systems}},
 journal      = {Math. Struct. in Comp. Science},
 doi          = {10.1017/S096012951400005X},
 note         = {To appear, published online},
)
@inproceedings(BCP14,
 author       = {Massimo Bartoletti and Tiziana Cimoli and G. Michele Pinna},
 year         = {2014},
 title        = {A note on two notions of compliance},
 booktitle    = {{\rm Proceedings 7th} ICE 2014},
 series       = {EPTCS},
 volume       = {166},
 pages        = {86--93},
 doi          = {10.4204/EPTCS.166.9},
)
@inproceedings(BSZ14concur,
 author       = {Massimo Bartoletti and Alceste Scalas and Roberto Zunino},
 year         = {2014},
 title        = {A semantic deconstruction of session types},
 booktitle    = {Proc. {CONCUR}},
 pages        = {402--418},
 doi          = {10.1007/978-3-662-44584-6$\_$28},
)
@inproceedings(BDF14,
 author       = {Davide Basile and Pierpaolo Degano and Gian Luigi Ferrari},
 year         = {2014},
 title        = {Automata for Analysing Service Contracts},
 booktitle    = {{TGC} 2014},
 series       = {LNCS},
 volume       = {8902},
 pages        = {34--50},
 doi          = {10.1007/978-3-662-45917-1-3},
)
@inproceedings(BDFT14,
 author       = {Davide Basile and Pierpaolo Degano and Gian-Luigi Ferrari and Emilio Tuosto},
 year         = {2014},
 title        = {From Orchestration to Choreography through Contract Automata},
 booktitle    = {{\rm Proc.} ICE'14},
 series       = {EPTCS},
 volume       = {166},
 pages        = {67--85},
 doi          = {10.4204/EPTCS.166.8},
)
@inproceedings(HennessyB12,
 author       = {Giovanni Bernardi and Matthew Hennessy},
 year         = {2012},
 title        = {Modelling session types using contracts},
 booktitle    = {Proceedings of 27th Annual ACM SAC '12},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {1941--1946},
 doi          = {10.1145/2231936.2232097},
)
@article(BH13,
 author       = {Giovanni Bernardi and Matthew Hennessy},
 year         = {2014},
 title        = {Modelling session types using contracts},
 journal      = {Math. Struct. in Comp. Science},
 doi          = {10.1017/S0960129514000243},
 note         = {To appear, published online.},
)
@article(BH13c,
 author       = {Giovanni Bernardi and Matthew Hennessy},
 year         = {2015},
 title        = {Mutually Testing Processes},
 journal      = {24h CoRR},
 volume       = {abs/1502.06360},
 doi          = {10.1007/978-3-642-40184-8$\_$6},
)
@article(BZ83,
 author       = {Daniel Brand and Pitro Zafiropulo},
 year         = {1983},
 title        = {On Communicating Finite-State Machines},
 journal      = {JACM},
 volume       = {30},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1145/322374.322380},
)
@inproceedings(CCLP06,
 author       = {S. Carpineti and G. Castagna and C. Laneve and L. Padovani},
 year         = {2006},
 title        = {A formal account of contracts for {Web} {S}ervices},
 booktitle    = {WS-FM},
 series       = {LNCS},
 volume       = {4184},
 publisher    = {Springer},
 pages        = {148--162},
 doi          = {10.1007/11841197\_10},
)
@article(CGP10,
 author       = {Giuseppe Castagna and Nils Gesbert and Luca Padovani},
 year         = {2009},
 title        = {A theory of contracts for Web services},
 journal      = {ACM Trans. on Prog. Lang. and Sys.},
 volume       = {31},
 number       = {5},
 pages        = {19:1--19:61},
 doi          = {10.1145/1538917.1538920},
)
@inproceedings(CHF14,
 author       = {L. Clemente and F. Herbreteau and G. Sutre},
 year         = {2014},
 title        = {Decidable Topologies for Communicating Automata with {FIFO} and Bag Channels},
 booktitle    = {Proc. CONCUR'14},
 series       = {LNCS},
 volume       = {8704},
 doi          = {10.1007/978-3-662-44584-6$\_$20},
)
@inproceedings(DY12,
 author       = {{Pierre-Malo} Deni{\'e}lou and Nobuko Yoshida},
 year         = {2012},
 title        = {Multiparty Session Types Meet Communicating Automata},
 booktitle    = {ESOP},
 pages        = {194--213},
 doi          = {10.1007/978-3-642-28869-2$\_$10},
)
@inproceedings(honda.vasconcelos.kubo:language-primitives,
 author       = {Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Disciplines for Structured Communication-based Programming},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {22--138},
 doi          = {10.1007/BFb0053567},
)
@incollection(countMachines,
 author       = {O. H. Ibarra and J. Su and Z. Dang and T. Bultan and R. Kemmerer},
 year         = {2000},
 title        = {Counter Machines: Decidable Properties and Applications to Verification Problems},
 booktitle    = {MFCS 2000},
 series       = {LNCS},
 volume       = {1893},
 doi          = {10.1007/3-540-44612-5-38},
)
@inproceedings(LP07,
 author       = {Cosimo Laneve and Luca Padovani},
 year         = {2007},
 title        = {{The Must Preorder Revisited: An Algebraic Theory for Web Services Contracts}},
 booktitle    = {CONCUR'07},
 series       = {LNCS},
 volume       = {4703},
 publisher    = {Springer},
 pages        = {212--225},
 doi          = {10.1007/978-3-540-74407-8$\_$15},
)
@article(Padovani10,
 author       = {Luca Padovani},
 year         = {2010},
 title        = {{C}ontract-{B}ased {D}iscovery of {W}eb {S}ervices {M}odulo {S}imple {O}rchestrators},
 journal      = {Theoretical Computer Science},
 volume       = {411},
 pages        = {3328--3347},
 doi          = {10.1016/j.tcs.2010.05.002},
)
@article(OrchChor03,
 author       = {Chris Peltz},
 year         = {2003},
 title        = {Web Services Orchestration and Choreography},
 journal      = {Computer},
 volume       = {36},
 number       = {10},
 pages        = {46--52},
 doi          = {10.1109/MC.2003.1236471},
)