Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. / Denielou, Pierre-Malo; Yoshida, Nobuko.

Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2). Vol. 7966 2013. ed. Springer, 2013. p. 174.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. / Denielou, Pierre-Malo; Yoshida, Nobuko.

Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2). Vol. 7966 2013. ed. Springer, 2013. p. 174.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Denielou, P-M & Yoshida, N 2013, Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. in Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2). 2013 edn, vol. 7966, Springer, pp. 174, International Colloquium on Automata, Languages, and Programming (ICALP'13), Riga, Latvia, 8/07/13. https://doi.org/10.1007/978-3-642-39212-2_18

APA

Denielou, P-M., & Yoshida, N. (2013). Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. In Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2) (2013 ed., Vol. 7966, pp. 174). Springer. https://doi.org/10.1007/978-3-642-39212-2_18

Vancouver

Denielou P-M, Yoshida N. Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. In Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2). 2013 ed. Vol. 7966. Springer. 2013. p. 174 https://doi.org/10.1007/978-3-642-39212-2_18

Author

Denielou, Pierre-Malo ; Yoshida, Nobuko. / Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2). Vol. 7966 2013. ed. Springer, 2013. pp. 174

BibTeX

@inproceedings{1f84568a1cd44cf8bac4f0d283b374c1,
title = "Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types",
author = "Pierre-Malo Denielou and Nobuko Yoshida",
year = "2013",
doi = "http://dx.doi.org/10.1007/978-3-642-39212-2_18",
language = "English",
isbn = "978-3-642-39211-5",
volume = "7966",
pages = "174",
booktitle = "Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II",
publisher = "Springer",
edition = "2013",
note = "International Colloquium on Automata, Languages, and Programming (ICALP'13) ; Conference date: 08-07-2013 Through 12-07-2013",

}

RIS

TY - GEN

T1 - Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

AU - Denielou, Pierre-Malo

AU - Yoshida, Nobuko

PY - 2013

Y1 - 2013

U2 - http://dx.doi.org/10.1007/978-3-642-39212-2_18

DO - http://dx.doi.org/10.1007/978-3-642-39212-2_18

M3 - Conference contribution

SN - 978-3-642-39211-5

VL - 7966

SP - 174

BT - Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

PB - Springer

T2 - International Colloquium on Automata, Languages, and Programming (ICALP'13)

Y2 - 8 July 2013 through 12 July 2013

ER -