Formulas as Processes, Deadlock-Freedom as Choreographies
(se abrirá en una nueva ventana)
Autores:
Matteo Acclavio, Giulia Manara, Fabrizio Montesi
Publicado en:
Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-91118-7_2
Omission Failures in Choreographic Programming
Autores:
Eva Graversen, Fabrizio Montesi, Marco Peressotti
Publicado en:
2025, ISSN 1613-0073
Editor:
CEUR Workshop Proceedings
Choreography-Defined Networks: A Case Study on DoS Mitigation
(se abrirá en una nueva ventana)
Autores:
Saverio Giallorenzo; Jacopo Mauro; Andrea Melis 0001; Fabrizio Montesi; Marco Peressotti; Marco Prandini
Publicado en:
Giallorenzo, S, Mauro, J, Melis, A, Montesi, F, Peressotti, M & Prandini, M 2024, Choreography-Defined Networks : A Case Study on DoS Mitigation. in W Gaaloul, M Sheng, Q Yu & S Yangui (eds), Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. vol. 15405, Springer Science+Business Media, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15405 LNCS, pp. 243-259, 22nd International Conference on Service-Oriented Computing, ICSOC 2024, Tunis, Tunisia, 03/12/2024. https://doi.org/10.1007/978-981-96-0808-9_18, 2024
Editor:
Springer
DOI:
10.1007/978-981-96-0808-9_18
A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices
(se abrirá en una nueva ventana)
Autores:
Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh; Philip Wizenty
Publicado en:
Giallorenzo, S, Montesi, F, Peressotti, M, Rademacher, F, Sachweh, S & Wizenty, P 2024, A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. in W Gaaloul, M Sheng, Q Yu & S Yangui (eds), Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. Springer Science+Business Media, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15405 LNCS, pp. 161-175, 22nd International Conference on Service-Oriented Computing, ICSOC 2024, Tunis, Tunisia, 03/12/2024. https://doi.org/10.1007/978-981-96-0808-9_13, 2024
Editor:
Springer
DOI:
10.1007/978-981-96-0808-9_13
A Conceptual Framework for API Refactoring in Service-Oriented Architectures
(se abrirá en una nueva ventana)
Autores:
Fabrizio Montesi, Marco Peressotti, Valentino Picotti, Olaf Zimmermann
Publicado en:
Lecture Notes in Computer Science, Service-Oriented and Cloud Computing, 2025
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-84617-5_15
