1. Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari & Emilio Tuosto (2014): From Orchestration to Choreography through Contract Automata. In: Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014., pp. 67–85, doi:10.4204/EPTCS.166.8.
  2. Daniel Brand & Pitro Zafiropulo (1983): On Communicating Finite-State Machines. JACM 30(2), pp. 323–342, doi:10.1145/322374.322380.
  3. Pierre-Malo Deniélou & Nobuko Yoshida (2012): Multiparty Session Types Meet Communicating Automata. In: ESOP, pp. 194–213, doi:10.1007/978-3-642-28869-2_10.
  4. Yonit Kesten, Zohar Manna & Hugh McGuireand Amir Pnueli (1993): A Decision Algorithm for Full Propositional Temporal Logic. In: CAV, pp. 97–109, doi:10.1007/3-540-56922-7_9.
  5. Julien Lange, Emilio Tuosto & Nobuko Yoshida (2015): From Communicating Machines to Graphical Choreographies. In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, pp. 221–232, doi:10.1145/2676726.2676964.
  6. Chris Peltz (2003): Web services orchestration and choreography. Computer 36(10), pp. 46–52, doi:10.1109/MC.2003.1236471.
  7. Amir Pnueli (1981): The temporal semantics of concurrent programs. Theoretical Computer Science 13(1), pp. 45–60, doi:10.1016/0304-3975(81)90110-9.
  8. Ionuţ Ţuţu & José Luis Fiadeiro (2013): A Logic-Programming Semantics of Services. In: CALCO, pp. 299–313, doi:10.1007/978-3-642-40206-7_22.

Comments and questions to:
For website issues: