@inproceedings(BSTZ13,
 author       = "Massimo Bartoletti and Alceste Scalas and Emilio Tuosto and Roberto Zunino",
 year         = "2013",
 title        = "Honesty by Typing",
 booktitle    = "FMOODS/FORTE",
 pages        = "305--320",
 url          = "http://dx.doi.org/10.1007/978-3-642-38592-6_21",
)
@inproceedings(Bart2012COORDINATION,
 author       = "Massimo Bartoletti and Emilio Tuosto and Roberto Zunino",
 year         = "2012",
 title        = "On the Realizability of Contracts in Dishonest Systems",
 booktitle    = "COORDINATION",
 pages        = "245--260",
 url          = "http://dx.doi.org/10.1007/978-3-642-30829-1_17",
)
@incollection(BasileDF14,
 author       = "Davide Basile and Pierpaolo Degano and {Gian Luigi} Ferrari",
 year         = "2014",
 title        = "Automata for Service Contracts",
 booktitle    = "TGC",
 note         = "To appear in TGC 2014",
)
@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",
 url          = "http://doi.acm.org/10.1145/322374.322380",
)
@incollection(bglz06,
 author       = "Nadia Busi and Roberto Gorrieri and Claudio Guidi and Roberto Lucchi and Gianluigi Zavattaro",
 year         = "2006",
 title        = "Choreography and Orchestration Conformance for System Design",
 editor       = "Paolo Ciancarini and Herbert Wiklicky",
 booktitle    = "Coordination Models and Languages",
 series       = "Lecture Notes in Computer Science",
 volume       = "4038",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "63--81",
 url          = "http://dx.doi.org/10.1007/11767954_5",
)
@book(Cassandras2006,
 author       = "Christos G. Cassandras and Stephane Lafortune",
 year         = "2006",
 title        = "Introduction to Discrete Event Systems",
 publisher    = "Springer-Verlag New York, Inc.",
 address      = "Secaucus, NJ, USA",
)
@article(cf05,
 author       = "G{\'e}rard C{\'e}c{\'e} and Alain Finkel",
 year         = "2005",
 title        = "Verification of programs with half-duplex communication",
 journal      = "I\&C",
 volume       = "202",
 number       = "2",
 pages        = "166--190",
 url          = "http://dx.doi.org/10.1016/j.ic.2005.05.006",
)
@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",
 url          = "http://dx.doi.org/10.1007/978-3-642-28869-2_10",
)
@article(pel03,
 author       = "Chris Peltz",
 year         = "2003",
 title        = "Web services orchestration and choreography",
 journal      = "Computer",
 volume       = "36",
 number       = "10",
 pages        = "46--52",
 url          = "http://doi.ieeecomputersociety.org/10.1109/MC.2003.1236471",
)