@inproceedings{8f44f20b1aee4caf9157edcd1bdcd910,
title = "Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types",
keywords = "behavioural types, choreographies, multiparty session types",
author = "Sung-Shik Jongmans and Francisco Ferreira",
note = "Publisher Copyright: {\textcopyright} Sung-Shik Jongmans and Francisco Ferreira;; 37th European Conference on Object-Oriented Programming, ECOOP 2023 ; Conference date: 17-07-2023 Through 21-07-2023",
year = "2023",
month = jul,
doi = "10.4230/LIPIcs.ECOOP.2023.42",
language = "English",
volume = "263",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Karim Ali and Guido Salvaneschi",
booktitle = "37th European Conference on Object-Oriented Programming, ECOOP 2023",
address = "Germany",
url = "https://2023.ecoop.org/",
}