@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    = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Berlin, Germany, 6th June 2014.},
 pages        = {67--85},
 doi          = {10.4204/EPTCS.166.8},
)
@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(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(kesten:cav93,
 author       = {Yonit Kesten and Zohar Manna and Hugh McGuireand Amir Pnueli},
 year         = {1993},
 title        = {A Decision Algorithm for Full Propositional Temporal Logic},
 booktitle    = {CAV},
 pages        = {97--109},
 doi          = {10.1007/3-540-56922-7\_9},
)
@inproceedings(lty15,
 author       = {Julien Lange and Emilio Tuosto and Nobuko Yoshida},
 year         = {2015},
 title        = {From Communicating Machines to Graphical Choreographies},
 booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015},
 pages        = {221--232},
 doi          = {10.1145/2676726.2676964},
)
@article(pel03,
 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},
)
@article(pnueli:tcs-13_1,
 author       = {Amir Pnueli},
 year         = {1981},
 title        = {The temporal semantics of concurrent programs},
 journal      = {Theoretical Computer Science},
 volume       = {13},
 number       = {1},
 pages        = {45--60},
 doi          = {10.1016/0304-3975(81)90110-9},
)
@inproceedings(tutu:calco2013,
 author       = {{\c{T}}u{\c{t}}u, Ionu{\c{t}} and Jos{\'{e}} Luis Fiadeiro},
 year         = {2013},
 title        = {A Logic-Programming Semantics of Services},
 booktitle    = {CALCO},
 pages        = {299--313},
 doi          = {10.1007/978-3-642-40206-7\_22},
)