@inproceedings{Denielou:2013:MCC:2525971.2525992,
    Address = {Berlin, Heidelberg},
    Author = {Deni{\'e}lou, Pierre-Malo and Yoshida, Nobuko},
    BookTitle = {Proceedings of the 40th International Conference on Automata, Languages, and Programming - Volume Part II},
    File = {Multiparty Compatibility in Communicating Automata Characterisation and Synthesis of Global Session Types - Deniélou, Yoshida (0) (0) - a - a - x.pdf},
    ISBN = {978-3-642-39211-5},
    Location = {Riga, Latvia},
    Pages = {174--186},
    Publisher = {Springer-Verlag},
    Series = {ICALP'13},
    Title = {Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types},
    URL = {http://dx.doi.org/10.1007/978-3-642-39212-2\_18},
    Year = {2013},
    acmid = {2525992},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39212-2\_18},
    date-added = {2014-11-06 16:03:34 +0000},
    date-modified = {2014-11-06 16:03:34 +0000},
    file-2 = {Multiparty Compatibility in Communicating Automata Characterisation and Synthesis of Global Session Types - Deniélou, Yoshida (1) (0) - a - a - x.pdf},
    numpages = {13},
    doi = {10.1007/978-3-642-39212-2_18}
}

@inproceedings{Denielou:2013:MCC:2525971.2525992, Address = {Berlin, Heidelberg}, Author = {Deni{\'e}lou, Pierre-Malo and Yoshida, Nobuko}, BookTitle = {Proceedings of the 40th International Conference on Automata, Languages, and Programming - Volume Part II}, File = {Multiparty Compatibility in Communicating Automata Characterisation and Synthesis of Global Session Types - Deniélou, Yoshida (0) (0) - a - a - x.pdf}, ISBN = {978-3-642-39211-5}, Location = {Riga, Latvia}, Pages = {174--186}, Publisher = {Springer-Verlag}, Series = {ICALP'13}, Title = {Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_18}, Year = {2013}, acmid = {2525992}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39212-2_18}, date-added = {2014-11-06 16:03:34 +0000}, date-modified = {2014-11-06 16:03:34 +0000}, file-2 = {Multiparty Compatibility in Communicating Automata Characterisation and Synthesis of Global Session Types - Deniélou, Yoshida (1) (0) - a - a - x.pdf}, numpages = {13}, doi = {10.1007/978-3-642-39212-2_18} }