@article{9cb8a3583bdc4429b9e2712f0c6bb454,
title = "From communicating machines to graphical choreographies",
keywords = "Choreography, Communicating finite-state machines, Global graphs, Multiparty session types, Theory of regions",
author = "Julien Lange and Emilio Tuosto and Nobuko Yoshida",
year = "2015",
month = jan,
doi = "10.1145/2676726.2676964",
language = "English",
volume = "50",
pages = "221--232",
journal = "ACM SIGPLAN Notices",
issn = "1523-2867",
publisher = "Association for Computing Machinery (ACM)",
number = "1",
}