Elvira Albert & Ivan Lanese (2016):
Formal Techniques for Distributed Objects, Components, and Systems – 36th IFIP WG 6.1 International Conference, FORTE 2016.
LNCS 9688.
Springer,
doi:10.1007/978-3-319-39570-8.
Business Process Model and Notation.
http://www.omg.org/spec/BPMN/2.0/.
Marco Carbone, Kohei Honda & Nobuko Yoshida (2012):
Structured Communication-Centered Programming for Web Services.
ACM Trans. Program. Lang. Syst. 34(2),
pp. 8:1–8:78,
doi:10.1145/2220365.2220367.
Marco Carbone & Fabrizio Montesi (2013):
Deadlock-freedom-by-design: multiparty asynchronous global programming.
In: Roberto Giacobazzi & Radhia Cousot: POPL.
ACM,
pp. 263–274.
Available at http://doi.acm.org/10.1145/2429069.2429101.
Luís Cruz-Filipe, Kim S. Larsen & Fabrizio Montesi (2017):
The Paths to Choreography Extraction.
In: Javier Esparza & Andrzej S. Murawski: FoSSaCS,
LNCS 10203.
Springer,
pp. 424–440,
doi:10.1007/978-3-662-54458-7_25.
Luís Cruz-Filipe & Fabrizio Montesi (2016):
Choreographies in Practice.
In: Albert & Lanese,
pp. 114–123,
doi:10.1007/978-3-319-39570-8_8.
Luís Cruz-Filipe & Fabrizio Montesi (2017):
A Core Model for Choreographic Programming.
In: Olga Kouchnarenko & Ramtin Khosravi: FACS,
LNCS 10231.
Springer,
pp. 17–35,
doi:10.1007/978-3-319-57666-4_3.
Luís Cruz-Filipe & Fabrizio Montesi (2017):
Procedural Choreographic Programming.
In: Ahmed Bouajjani & Alexandra Silva: FORTE 2017,
LNCS 10321.
Springer,
pp. 92–107,
doi:10.1007/978-3-319-60225-7_7.
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese & Jacopo Mauro (2015):
Dynamic Choreographies – Safe Runtime Updates of Distributed Applications.
In: Tom Holvoet & Mirko Viroli: COORDINATION,
LNCS 9037.
Springer,
pp. 67–82,
doi:10.1007/978-3-319-19282-6_5.
Pierre-Malo Deniélou & Nobuko Yoshida (2013):
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.
In: Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska & David Peleg: ICALP (2),
LNCS 7966.
Springer,
pp. 174–186,
doi:10.1007/978-3-642-39212-2_18.
Maurizio Gabbrielli, Saverio Giallorenzo & Fabrizio Montesi (2015):
Applied Choreographies.
CoRR abs/1510.03637.
Available at http://arxiv.org/abs/1510.03637.
Daniele Gorla (2010):
Towards a unified approach to encodability and separation results for process calculi.
Inf. Comput. 208(9),
pp. 1031–1053,
doi:10.1016/j.ic.2010.05.002.
Kohei Honda, A. Mukhamedov, G. Brown, T.-C. Chen & Nobuko Yoshida (2011):
Scribbling Interactions with a Formal Foundation.
In: Raja Natarajan & Adegboyega K. Ojo: ICDCIT,
LNCS 6536.
Springer,
pp. 55–75,
doi:10.1007/978-3-642-19056-8_4.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2016):
Multiparty Asynchronous Session Types.
J. ACM 63(1),
pp. 9:1–9:67,
doi:10.1145/2827695.
Ivan Lanese, Claudio Guidi, Fabrizio Montesi & Gianluigi Zavattaro (2008):
Bridging the Gap between Interaction- and Process-Oriented Choreographies.
In: Antonio Cerone & Stefan Gruner: SEFM.
IEEE,
pp. 323–332,
doi:10.1109/SEFM.2008.11.
Hugo A. López, Flemming Nielson & Hanne Riis Nielson (2016):
Enforcing Availability in Failure-Aware Communicating Systems.
In: Albert & Lanese,
pp. 195–211,
doi:10.1007/978-3-319-39570-8_13.
Fabrizio Montesi (2013):
Choreographic Programming.
Ph.D. Thesis.
IT University of Copenhagen.
http://fabriziomontesi.com/files/choreographic_programming.pdf.
Fabrizio Montesi & Nobuko Yoshida (2013):
Compositional Choreographies.
In: Pedro R. D'Argenio & Hernán C. Melgratti: CONCUR,
LNCS 8052.
Springer,
pp. 425–439,
doi:10.1007/978-3-642-40184-8_30.
(2008):
PI4SOA.
http://www.pi4soa.org.
Zongyan Qiu, Xiangpeng Zhao, Chao Cai & Hongli Yang (2007):
Towards the theoretical foundation of choreography.
In: Carey L. Williamson, Mary Ellen Zurko, Peter F. Patel-Schneider & Prashant J. Shenoy: WWW.
ACM,
pp. 973–982,
doi:10.1145/1242572.1242704.
eptcs@eptcs.org