Julien Lange, Emilio Tuosto, Nobuko Yoshida
From Communicating Machines to Graphical Choreographies
POPL, 2015.
@inproceedings{POPL-2015-LangeTY, author = "Julien Lange and Emilio Tuosto and Nobuko Yoshida", booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}", doi = "10.1145/2676726.2676964", isbn = "978-1-4503-3300-9", pages = "221--232", publisher = "{ACM}", title = "{From Communicating Machines to Graphical Choreographies}", year = 2015, }