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.
Daniel Brand & Pitro Zafiropulo (1983):
On Communicating Finite-State Machines.
JACM 30(2),
pp. 323–342,
doi:10.1145/322374.322380.
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.
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.
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.
Chris Peltz (2003):
Web services orchestration and choreography.
Computer 36(10),
pp. 46–52,
doi:10.1109/MC.2003.1236471.
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.
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.