Marco Peressotti

View Scopus Profile

Marco Peressotti

 https://orcid.org/0000-0002-0243-0480
If you made any changes in Pure these will be visible here soon.
Filter
Article in proceedings

Search results

  • 2022

    Functional Choreographic Programming

    Cruz-Filipe, L., Graversen, E., Lugović, L., Montesi, F. & Peressotti, M., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (eds.). Springer Science+Business Media, p. 212-237 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13572 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Model-driven generation of microservice interfaces: From LEMMA domain models to Jolie APIs

    Giallorenzo, S., Montesi, F., Peressotti, M. & Rademacher, F., 2022, Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. ter Beek, M. H. & Sirjani, M. (eds.). Springer Science+Business Media, p. 223-240 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13271 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2021

    Certifying Choreography Compilation

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 2021, Theoretical Aspects of Computing – ICTAC 2021 : 18th International Colloquium. Cerone, A. & Olveczky, P. C. (eds.). Springer Science+Business Media, p. 115-133 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12819 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Formalising a turing-complete choreographic language in Coq

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 1. Jun 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Vol. 193. p. 15:1-15:18 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 193).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    17 Downloads (Pure)

  • Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices

    Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Sachweh, S., 2021, Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Springer, Vol. 12717. p. 276-284 (Lecture Notes in Computer Science, Vol. 12717).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Multiparty Languages: The Choreographic and Multitier Cases

    Giallorenzo, S., Montesi, F., Peressotti, M., Richter, D., Salvaneschi, G. & Weisenburger, P., 2021, 35th European Conference on Object-Oriented Programming (ECOOP 2021). Møller, A. & Sridharan, M. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Vol. 194. p. 22:1-22:27 22. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    9 Downloads (Pure)

  • Sliceable Monolith: Monolith First, Microservices Later

    Montesi, F., Peressotti, M. & Picotti, V., 15. Nov 2021, Proceedings - 2021 IEEE International Conference on Services Computing, SCC 2021. Carminati, B., Chang, C. K., Damiani, E., Shuiguang, D., Tan, W., Wang, Z., Ward, R. & Zhang, J. (eds.). IEEE, p. 364-366 (IEEE International Conference on Services Computing (SCC)).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2020

    Computing Embeddings of Directed Bigraphs

    Chiapperini, A., Miculan, M. & Peressotti, M., 2020, Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Proceedings. Gadducci, F. & Kehrer, T. (eds.). Springer, p. 38-56 (Lecture Notes in Computer Science, Vol. 12150).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access

  • Towards a formal model for composable container systems

    Burco, F., Miculan, M. & Peressotti, M., 30. Mar 2020, 35th Annual ACM Symposium on Applied Computing, SAC 2020. Association for Computing Machinery, p. 173-175

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2019

    No more, no less: A formal model for serverless computing

    Gabbrielli, M., Giallorenzo, S., Lanese, I., Montesi, F., Peressotti, M. & Zingaro, S. P., 2019, Coordination Models and Languages. COORDINATION 2019. Riis Nielson, H. & Tuosto, E. (eds.). Springer, p. 148-157 (Lecture Notes in Computer Science, Vol. 11533).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    116 Downloads (Pure)

  • Taking Linear Logic Apart

    Kokke, W., Montesi, F. & Peressotti, M., 15. Apr 2019, Proceedings of the Joint International Workshop on Linearity Trends in linear Logic and Applications. Ehrhard, T., Fernández, M., de Paiva, V. & Tortora de Falco, L. (eds.). Open Publishing Association, Vol. 292. p. 90-103 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 292).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    71 Downloads (Pure)
  • 2018

    Communications in choreographies, revisited

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 9. Apr 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Association for Computing Machinery, p. 1248-1255

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    File
    151 Downloads (Pure)

  • Loose Graph Simulations

    Mansutti, A., Miculan, M. & Peressotti, M., 2018, Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 109-126 (Lecture Notes in Computer Science, Vol. 10748). (Programming and Software Engineering, Vol. 10748).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2017

    Stratifying semantic data for citation and trust: An introduction to RDFDF

    De Nart, D., Degl’Innocenti, D., Peressotti, M. & Tasso, C., 8. Apr 2017, Digital Libraries and Multimedia Archives - 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Revised Selected Papers. Springer, p. 104-111 (Communications in Computer and Information Science, Vol. 701).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2016

    A uniform framework for timed automata

    Brengos, T. & Peressotti, M., 1. Aug 2016, 27th International Conference on Concurrency Theory, CONCUR 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 59. 26

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2015

    Open transactions on shared memory

    Miculan, M., Peressotti, M. & Toneguzzo, A., 1. Jan 2015, Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. Holvoet, T. & Viroli, M. (eds.). Springer, p. 213-229 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9037).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2014

    Multi-agent systems design and prototyping with bigraphical reactive systems

    Mansutti, A., Miculan, M. & Peressotti, M., 1. Jan 2014, Distributed Applications and Interoperable Systems - 14th IFIP WG 6.1 Int. Conference, DAIS 2014, Held as Part of the 9th Int. Federated Conf. on Distributed Computing Techn. DisCoTec 2014, Proc.. Springer, p. 201-208 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8460 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review