@inproceedings{09ae649d2cfe4dbf8ef394e7cda70b29,
title = "From infinity to choreographies: Extraction for unbounded Systems",
abstract = "Choreographies are formal descriptions of distributed systems, which focus on the way in which participants communicate. While they are useful for analysing protocols, in practice systems are written directly by specifying each participant{\textquoteright}s behaviour. This created the need for choreography extraction: the process of obtaining a choreography that faithfully describes the collective behaviour of all participants in a distributed protocol. Previous works have addressed this problem for systems with a predefined, finite number of participants. In this work, we show how to extract choreographies from system descriptions where the total number of participants is unknown and unbounded, due to the ability of spawning new processes at runtime. This extension is challenging, since previous algorithms relied heavily on the set of possible states of the network during execution being finite.",
keywords = "Choreography, Concurrency, Extraction, Message passing",
author = "Kj{\ae}r, {Bj{\o}rn Angel} and Lu{\'i}s Cruz-Filipe and Fabrizio Montesi",
note = "Funding Information: Partially supported by Villum Fonden, grant no. 29518. Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 32nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2022 ; Conference date: 21-09-2022 Through 23-09-2022",
year = "2022",
month = sep,
day = "11",
doi = "10.1007/978-3-031-16767-6_6",
language = "English",
isbn = "9783031167669",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science+Business Media",
pages = "103--120",
editor = "Alicia Villanueva",
booktitle = "Logic-Based Program Synthesis and Transformation",
address = "United States",
}