Fabrizio Montesi

View Scopus Profile

Fabrizio Montesi

 https://orcid.org/0000-0003-4666-901X
Filter
Article in proceedings

Search results

  • 2024

    Ozone: Fully Out-of-Order Choreographies

    Plyukhin, D., Peressotti, M. & Montesi, F., Sept 2024, 38th European Conference on Object-Oriented Programming, ECOOP 2024. Aldrich, J. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 25. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 313).

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

  • 2023

    Certified Compilation of Choreographies with hacc

    Cruz-Filipe, L., Lugović, L. & Montesi, F., 2023, Formal Techniques for Distributed Objects, Components, and Systems. Huisman, M. & Ravara, A. (eds.). Springer Science+Business Media, p. 29-36 (Lecture Notes in Computer Science, Vol. 13910 LNCS).

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

  • JoT: A Jolie Framework for Testing Microservices

    Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Unwerawattana, N., 2023, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Jongmans, S.-S. & Lopes, A. (eds.). Springer Science+Business Media, p. 172-191 (Lecture Notes in Computer Science, Vol. 13908 LNCS).

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

  • Keep me out of the loop: a more flexible choreographic projection

    Cruz-Filipe, L., Rasmussen, R. R. & Montesi, F., 3. Jun 2023, Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning: EPiC Series in Computing. Piskac, R. & Voronkov , A. (eds.). Ethnographic Praxis in Industry Conference (EPIC), Vol. 94. p. 144-163 20 p.

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

    Open Access

  • Model-Driven Code Generation for Microservices: Service Models.

    Giallorenzo, S., Montesi, F., Peressotti, M. & Rademacher, F., 2023, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Dorai, G., Gabbrielli, M., Manzonetto, G., Osmani, A., Prandini, M., Zavattaro, G. & Zimmermann, O. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 6:1-6:17 6. (Open Access Series in Informatics, Vol. 111).

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

    Open Access
    File
    12 Downloads (Pure)

  • Modular Choreographies: Bridging Alice and Bob Notation to Java.

    Cruz-Filipe, L., Madsen, A., Montesi, F. & Peressotti, M., Dec 2023, Joint Post-Proceedings of the 3rd and 4th International Conference on Microservices ( (Microservices 2020/2022). Dorai, G., Gabbrielli, M., Manzonetto, G., Osmani, A., Prandini, M., Zavattaro, G. & Zimmermann, O. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 3:1-3:18 (Open Access Series in Informatics, Vol. 111).

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

    Open Access
    File
    16 Downloads (Pure)

  • Modular Compilation for Higher-Order Functional Choreographies

    Cruz-Filipe, L., Graversen, E., Lugović, L., Montesi, F. & Peressotti, M., Jul 2023, 37th European Conference on Object-Oriented Programming (ECOOP 2023). Karim, A. & Guido, S. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Vol. 263. 37 p. 7. (Leibniz International Proceedings in Informatics, LIPIcs).

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

    Open Access
    File
    130 Downloads (Pure)

  • Now It Compiles! Certified Automatic Repair of Uncompilable Protocols

    Cruz-Filipe, L. & Montesi, F., Jul 2023, 14th International Conference on Interactive Theorem Proving, ITP 2023. Naumowicz, A. & Thiemann, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 268. 19 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 268).

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

    Open Access
    File
    27 Downloads (Pure)

  • Reasoning About Choreographic Programs

    Cruz-Filipe, L., Graversen, E., Montesi, F. & Peressotti, M., 2023, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Jongmans, S.-S. & Lopes, A. (eds.). Springer Science+Business Media, p. 144-162 19 p. (Lecture Notes in Computer Science, Vol. 13908 LNCS).

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

  • μ XL: Explainable Lead Generation with Microservices and Hypothetical Answers

    Cruz-Filipe, L., Kostopoulou, S., Montesi, F. & Vistrup, J., 2023, Service-Oriented and Cloud Computing - : Proceedings of IFIP WG 6.12 European Conference. Papadopoulos, G. A., Rademacher, F. & Soldani, J. (eds.). Springer Science+Business Media, p. 3-18 (Lecture Notes in Computer Science, Vol. 14183).

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

    Open Access
    File
  • 2022

    From infinity to choreographies: Extraction for unbounded Systems

    Kjær, B. A., Cruz-Filipe, L. & Montesi, F., 11. Sept 2022, Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Proceedings. Villanueva, A. (ed.). Springer Science+Business Media, p. 103-120 (Lecture Notes in Computer Science, Vol. 13474 LNCS).

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

    Open Access
    File
    39 Downloads (Pure)

  • 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, Vol. 13572 LNCS).

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

    Open Access
    File
    28 Downloads (Pure)

  • 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, 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, 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
    25 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
    40 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

  • 2019

    Ephemeral data handling in microservices

    Giallorenzo, S., Montesi, F., Safina, L. & Zingaro, S. P., 2019, Proceedings of the 2019 IEEE International Conference on Services Computing, SCC 2019 - Part of the 2019 IEEE World Congress on Services. Bertino, E., Chang, C. K., Chen, P., Damiani, E., Damiani, E., Goul, M. & Oyama, K. (eds.). IEEE, p. 234-236 (IEEE International Conference on Services Computing (SCC), Vol. 2019).

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

    Open Access
    File
    180 Downloads (Pure)

  • Multiparty Classical Choreographies

    Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A., 1. Jan 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (eds.). Springer, p. 59-76 (Lecture Notes in Computer Science, Vol. 11408 LNCS).

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

  • 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
    162 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, Vol. 292).

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

    Open Access
    File
    82 Downloads (Pure)
  • 2018

    Applied choreographies

    Giallorenzo, S., Montesi, F. & Gabbrielli, M., 2018, Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Proceedings. Baier, C. & Caires, L. (eds.). Springer, p. 21-40 (Lecture Notes in Computer Science, Vol. 10854).

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

  • 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
    169 Downloads (Pure)

  • From the decorator pattern to circuit breakers in microservices

    Montesi, F. & Weber, J., 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Association for Computing Machinery, Vol. Part F137816. p. 1733-1735

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

  • 2017

    A Core Model for Choreographic Programming

    Cruz-Filipe, L. & Montesi, F., 2017, Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Khosravi, R. & Kouchnarenko, O. (eds.). Springer, p. 17-35 (Lecture Notes in Computer Science, Vol. 10231).

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

    File
    212 Downloads (Pure)

  • Classical higher-order processes

    Montesi, F., 2017, Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Bouajjani, A. & Silva, A. (eds.). Springer, p. 171-178 (Lecture Notes in Computer Science, Vol. 10321).

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

    File
    177 Downloads (Pure)

  • Encoding Asynchrony in Choreographies

    Cruz-Filipe, L. & Montesi, F., 2017, Proceedings of the Symposium on Applied Computing. Association for Computing Machinery, p. 1175-1177

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

  • Packaging microservices: (work in progress)

    Montesi, F. & Thrane, D. S., 2017, Distributed Applications and Interoperable Systems: 17th IFIP WG 6.1 International Conference, DAIS 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Y. Chen, L. & P. Reiser, H. (eds.). Springer, p. 131-137 (Lecture Notes in Computer Science, Vol. 10320).

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

  • Procedural Choreographic Programming

    Cruz-Filipe, L. & Montesi, F., 2017, Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017. Bouajjani, A. & Silva, A. (eds.). Springer, p. 92-107 (Lecture Notes in Computer Science, Vol. 10321).

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

    File
    136 Downloads (Pure)

  • The Paths to Choreography Extraction

    Cruz-Filipe, L., Larsen, K. S. & Montesi, F., 2017, Foundations of Software Science and Computation Structures: Proceedings of the 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 424-440 (Lecture Notes in Computer Science, Vol. 10203).

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

    File
    154 Downloads (Pure)
  • 2016

    Choreographies in Practice

    Cruz-Filipe, L. & Montesi, F., 2016, Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Albert, E. & Lanese, I. (eds.). Springer, p. 114-123 (Lecture Notes in Computer Science, Vol. 9688).

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

  • Coherence generalises duality: A logical explanation of multiparty session types

    Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, Proceedings of the 27th International Conference on Concurrency Theory. Desharnais, J. & Jagadeesan, R. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 1–15 33. (Leibniz International Proceedings in Informatics, Vol. 59).

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

    Open Access
    File
    60 Downloads (Pure)

  • Data-driven workflows for microservices: Genericity in jolie

    Safina, L., Mazzara, M., Montesi, F. & Rivera, V., 2016, Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications. IEEE, p. 430-437 (Proceedings of the International Conference on Advanced Information Networking and Applications).

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

  • Kickstarting Choreographic Programming

    Montesi, F., 2016, Web Services, Formal Methods, and Behavioral Types: Proceedings of the 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing. Hildebrandt, T., Ravara, A., van der Werf, J. M. & Weidlich, M. (eds.). Springer, p. 3-10 (Lecture Notes in Computer Science, Vol. 9421).

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

  • 2015

    Multiparty Session Types as Coherence Proofs

    Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. Aceto, L. & de Frutos Escrig, D. (eds.). p. 412-426 (Leibniz International Proceedings in Informatics, Vol. 42).

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

    Open Access
    File
    101 Downloads (Pure)

  • The Evolution of Jolie: From Orchestrations to Adaptable Choreographies

    Lanese, I., Montesi, F. & Zavattaro, G., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. De Nicola, R. & Hennicker, R. (eds.). Springer, p. 506-521 (Lecture Notes in Computer Science, Vol. 8950).

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

  • 2014

    Choreographies, Logically

    Carbone, M., Montesi, F. & Schürmann, C., 2014, CONCUR 2014 – Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Paldan, P. & Gorda, D. (eds.). Springer, p. 47-62 16 p. (Lecture Notes in Computer Science, Vol. 8704).

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

  • Progress as Compositional Lock-Freedom

    Carbone, M., Dardha, O. & Montesi, F., 2014, Coordination Models and Languages: 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Kühn, E. & Pugliese, R. (eds.). Springer, p. 49-64

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

  • Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns

    Gabbrielli, M., Giallorenzo, S. & Montesi, F., 2014, Distributed Computing and Artificial Intelligence: 11th International Conference, DCAI 2014, Salamanca, Spain, June 4-6, 2014. Omatu et al., S. (ed.). Springer, p. 131-139 9 p. (Advances in Intelligent Systems and Computing, Vol. 290).

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

  • 2013

    Amending Choreographies

    Lanese, I., Montesi, F. & Zavattaro, G., 2013, Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013.. p. 34-48 15 p.

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

  • Compositional Choreographies

    Montesi, F. & Yoshida, N., 2013, CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. p. 425-439 15 p.

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

  • Deadlock-freedom-by-design: multiparty asynchronous global programming

    Carbone, M. & Montesi, F., 2013, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. p. 263-274 12 p.

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

  • Process-aware web programming with Jolie

    Montesi, F., 2013, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. p. 761-763 3 p.

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

  • 2012

    Interface-Based Service Composition with Aggregation

    Preda, M. D., Gabbrielli, M., Guidi, C., Mauro, J. & Montesi, F., 2012, Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. p. 48-63 16 p.

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

  • Merging Multiparty Protocols in Multiparty Choreographies

    Carbone, M. & Montesi, F., 2012, Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012.. p. 21-27 7 p.

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

  • Service integration via target-transparent mediation

    Preda, M. D., Gabbrielli, M., Guidi, C., Mauro, J. & Montesi, F., 2012, 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012. p. 1-5 5 p.

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

  • 2011

    An Efficient Management of Correlation Sets with Broadcast

    Mauro, J., Gabbrielli, M., Guidi, C. & Montesi, F., 2011, Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. p. 80-94 15 p.

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

  • Programming Services with Correlation Sets

    Montesi, F. & Carbone, M., 2011, Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings. p. 125-141 17 p.

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

  • 2010

    A Framework for Rule-Based Dynamic Adaptation

    Lanese, I., Bucchiarone, A. & Montesi, F., 2010, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. p. 284-300 17 p.

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