Pierre-Malo Deniélou, Nobuko Yoshida
Multiparty Session Types Meet Communicating Automata
ESOP, 2012.
@inproceedings{ESOP-2012-DenielouY, author = "Pierre-Malo Deniélou and Nobuko Yoshida", booktitle = "{Proceedings of the 21st European Symposium on Programming}", doi = "10.1007/978-3-642-28869-2_10", editor = "Helmut Seidl", isbn = "978-3-642-28868-5", pages = "194--213", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Multiparty Session Types Meet Communicating Automata}", volume = 7211, year = 2012, }