If you made any changes in Pure these will be visible here soon.

Research Output

A core model for choreographic programming

Cruz-Filipe, L. & Montesi, F., 8. Jan 2020, In : Theoretical Computer Science. 802, p. 38-66 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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. Kouchnarenko, O. & Ramtin, K. (eds.). Springer, p. 17-35 (Lecture Notes in Computer Science, Vol. 10231).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File
160 Downloads (Pure)

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 proceedingArticle in proceedingsResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-review

A Model of Evolvable Components

Montesi, F. & Sangiorgi, D., 2010, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. p. 153-171 19 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-review

Better Late Than Never: A Fully Abstract Semantics for Classical Processes

Kokke, W., Montesi, F. & Peressotti, M., 6. Nov 2018.

Research output: Working paperResearch

Better Late Than Never: A Fully-abstract Semantics for Classical Processes

Kokke, W., Montesi, F. & Peressotti, M., 1. Jan 2019, In : Proc. ACM Program. Lang.. 3, POPL, p. 24:1-24:29 29 p., 24.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
183 Downloads (Pure)

Bridging the Gap between Interaction- and Process-Oriented Choreographies

Lanese, I., Guidi, C., Montesi, F. & Zavattaro, G., 2008, Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. p. 323-332 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Choreographic Programming

Montesi, F., 2013, IT University of Copenhagen.

Research output: Book/anthology/thesis/reportPh.D. thesisResearch

Choreographies, logically

Carbone, M., Montesi, F. & Schürmann, C., 2018, In : Distributed Computing. 31, 1, p. 51-67

Research output: Contribution to journalJournal articleResearchpeer-review

File
84 Downloads (Pure)

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 proceedingArticle in proceedingsResearchpeer-review

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 proceedingBook chapterResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-review

File
121 Downloads (Pure)

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 proceedingArticle in proceedingsResearchpeer-review

Open Access
File
28 Downloads (Pure)

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 proceedingArticle in proceedingsResearchpeer-review

File
132 Downloads (Pure)

Composing Services with JOLIE

Montesi, F., Guidi, C. & Zavattaro, G., 2007, Fifth IEEE European Conference on Web Services (ECOWS 2007), 26-28 November 2007, Halle (Saale), Germany. p. 13-22 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

Dynamic Error Handling in Service Oriented Applications

Guidi, C., Lanese, I., Montesi, F. & Zavattaro, G., 2009, In : Fundam. Inform.. 95, 1, p. 73-102 30 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Dynamic Fault Handling Mechanisms for Service-Oriented Applications

Montesi, F., Guidi, C., Lanese, I. & Zavattaro, G., 2008, ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland. p. 225-234 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-review

Open Access
File
62 Downloads (Pure)

Error Handling: From Theory to Practice

Lanese, I. & Montesi, F., 2010, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. p. 66-81 16 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-review

JOLIE: a Java Orchestration Language Interpreter Engine

Montesi, F., Guidi, C., Lucchi, R. & Zavattaro, G., 2007, In : Electr. Notes Theor. Comput. Sci.. 181, p. 19-33 15 p.

Research output: Contribution to journalJournal articleResearchpeer-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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

Microservices: A language-based approach

Guidi, C., Lanese, I., Mazzara, M. & Montesi, F., Nov 2017, Present and Ulterior Software Engineering. Mazzara, M. & Meyer, B. (eds.). Springer, p. 217-225

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Microservices: Yesterday, today, and tomorrow

Dragoni, N., Giallorenzo, S., Lafuente, A. L., Mazzara, M., Montesi, F., Mustafin, R. & Safina, L., 1. Nov 2017, Present and Ulterior Software Engineering. Mazzara, M. & Meyer, B. (eds.). Springer, p. 195-216

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

File
140 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 VS, p. 59-76 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11408 LNCS).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Multiparty session types as coherence proofs

Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2017, In : Acta Informatica. 54, 3, p. 243-269

Research output: Contribution to journalJournal articleResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-review

Open Access
File
52 Downloads (Pure)

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 proceedingArticle in proceedingsResearchpeer-review

On Asynchrony and Choreographies

Cruz-Filipe, L. & Montesi, F., 2017, In : Electronic Proceedings in Theoretical Computer Science. 261, p. 76-90

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
111 Downloads (Pure)

On the interplay between fault handling and request-response service invocations

Guidi, C., Lanese, I., Montesi, F. & Zavattaro, G., 2008, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008. p. 190-198 9 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

File
106 Downloads (Pure)

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 proceedingArticle in proceedingsResearchpeer-review

Process-aware web programming with Jolie

Montesi, F., 2016, In : Science of Computer Programming. 130, p. 69-96

Research output: Contribution to journalJournal articleResearchpeer-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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

Reasoning About a Service-oriented Programming Paradigm

Guidi, C. & Montesi, F., 2009, Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, YR-SOC 2009, Pisa, Italy, 17-19th June 2009.. p. 67-81 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Self-reconfiguring microservices

Gabbrielli, M., Giallorenzo, S., Guidi, C., Mauro, J. & Montesi, F., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (eds.). Springer, p. 194-210 (Lecture Notes in Computer Science, Vol. 9660).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

Service-Oriented Programming with Jolie

Montesi, F., Guidi, C. & Zavattaro, G., 2014, Web Services Foundations. p. 81-107 27 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review