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

Pierre-Malo Denielou, Nobuko Yoshida

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Subtitle of host publication	ICALP (2)
Publisher	Springer
Pages	174
Number of pages	186
Volume	7966
Edition	2013
ISBN (Print)	978-3-642-39211-5
DOIs	https://doi.org/10.1007/978-3-642-39212-2_18
Publication status	Published - 2013
Event	International Colloquium on Automata, Languages, and Programming (ICALP'13) - Riga, Latvia Duration: 8 Jul 2013 → 12 Jul 2013

Conference	International Colloquium on Automata, Languages, and Programming (ICALP'13)
Country/Territory	Latvia
City	Riga
Period	8/07/13 → 12/07/13

Access to Document

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

@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 = "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",

}

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

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 proceeding › Conference contribution

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 - 10.1007/978-3-642-39212-2_18

DO - 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 -