Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Fabrizio Montesi

> Home > Persons

Person information

affiliation: University of Southern Denmark, Department of Mathematics and Computer Science, Odense, Denmark

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/GraversenHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/GraversenHM24
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi:
Alice or Bob?: Process polymorphism in choreographies. J. Funct. Program. 34 (2024)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GiallorenzoMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GiallorenzoMP24
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti:
Choral: Object-oriented Choreographic Programming. ACM Trans. Program. Lang. Syst. 46(1): 1:1-1:59 (2024)
2023
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/CruzFilipeMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CruzFilipeMP23
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti:
A Formal Theory of Choreographic Programming. J. Autom. Reason. 67(2): 21 (2023)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/programming/LugovicM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/programming/LugovicM23
Lovro Lugovic, Fabrizio Montesi:
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability. Art Sci. Eng. Program. 8(2) (2023)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GiallorenzoMPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GiallorenzoMPR23
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher:
LEMMA2Jolie: A tool to generate microservice APIs from domain models. Sci. Comput. Program. 228: 102956 (2023)
2022
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/peerj-cs/GiallorenzoMSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/peerj-cs/GiallorenzoMSZ22
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro:
Ephemeral data handling in microservices with Tquery. PeerJ Comput. Sci. 8: e1037 (2022)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/peerj-cs/BerardiGMMMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/peerj-cs/BerardiGMMMP22
Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini:
Microservice security: a systematic literature review. PeerJ Comput. Sci. 8: e779 (2022)
2020
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Cruz-FilipeM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Cruz-FilipeM20
Luís Cruz-Filipe, Fabrizio Montesi:
A core model for choreographic programming. Theor. Comput. Sci. 802: 38-66 (2020)
2019
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/KokkeMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/KokkeMP19
Wen Kokke, Fabrizio Montesi, Marco Peressotti:
Better late than never: a fully-abstract semantics for classical processes. Proc. ACM Program. Lang. 3(POPL): 24:1-24:29 (2019)
2018
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/CarboneMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/CarboneMS18
Marco Carbone, Fabrizio Montesi, Carsten Schürmann:
Choreographies, logically. Distributed Comput. 31(1): 51-67 (2018)
2017
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/acta/CarboneMSY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/CarboneMSY17
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida:
Multiparty session types as coherence proofs. Acta Informatica 54(3): 243-269 (2017)
2016
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ftpl/AnconaBB0CDGGGH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida:
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Montesi16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Montesi16
Fabrizio Montesi:
Process-aware web programming with Jolie. Sci. Comput. Program. 130: 69-96 (2016)
2015
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jisis/BravettiLMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jisis/BravettiLMM15
Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi:
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur. 5(1): 1-2 (2015)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LaneseMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LaneseMM15
Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Sci. Comput. Program. 97: 181-182 (2015)
2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GuidiLMZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GuidiLMZ09
Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
Dynamic Error Handling in Service Oriented Applications. Fundam. Informaticae 95(1): 73-102 (2009)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Cruz-FilipeGMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Cruz-FilipeGMP23
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti:
Reasoning About Choreographic Programs. COORDINATION 2023: 144-162
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GiallorenzoMPRU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GiallorenzoMPRU23
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana:
JoT: A Jolie Framework for Testing Microservices. COORDINATION 2023: 172-191
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/Cruz-FilipeGLMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Cruz-FilipeGLMP23
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti:
Modular Compilation for Higher-Order Functional Choreographies. ECOOP 2023: 7:1-7:37
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/CruzFilipeKMV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/CruzFilipeKMV23
Luís Cruz-Filipe, Sofia Kostopoulou, Fabrizio Montesi, Jonas Vistrup:
μXL: Explainable Lead Generation with Microservices and Hypothetical Answers. ESOCC 2023: 3-18
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Cruz-FilipeLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Cruz-FilipeLM23
Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi:
Certified Compilation of Choreographies with hacc. FORTE 2023: 29-36
[c55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/Cruz-FilipeM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/Cruz-FilipeM23
Luís Cruz-Filipe, Fabrizio Montesi:
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. ITP 2023: 11:1-11:19
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Cruz-FilipeMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Cruz-FilipeMR23
Luís Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen:
Keep me out of the loop: a more flexible choreographic projection. LPAR 2023: 144-163
2022
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GiallorenzoMPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GiallorenzoMPR22
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher:
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. COORDINATION 2022: 223-240
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Cruz-FilipeGLMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Cruz-FilipeGLMP22
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti:
Functional Choreographic Programming. ICTAC 2022: 212-237
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/KjaerCM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/KjaerCM22
Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi:
From Infinity to Choreographies - Extraction for Unbounded Systems. LOPSTR 2022: 103-120
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/microservices/Cruz-FilipeMMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/microservices/Cruz-FilipeMMP22
Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti:
Modular Choreographies: Bridging Alice and Bob Notation to Java. Microservices 2022: 3:1-3:18
[c49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/microservices/GiallorenzoMPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/microservices/GiallorenzoMPR22
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher:
Model-Driven Code Generation for Microservices: Service Models. Microservices 2022: 6:1-6:17
2021
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/MontesiPP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/MontesiPP21
Fabrizio Montesi, Marco Peressotti, Valentino Picotti:
Sliceable Monolith: Monolith First, Microservices Later. SCC 2021: 364-366
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GiallorenzoMPRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GiallorenzoMPRS21
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh:
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. COORDINATION 2021: 276-284
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/GiallorenzoMPRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/GiallorenzoMPRS21
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger:
Multiparty Languages: The Choreographic and Multitier Cases (Pearl). ECOOP 2021: 22:1-22:27
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Cruz-FilipeMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Cruz-FilipeMP21
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti:
Certifying Choreography Compilation. ICTAC 2021: 115-133
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/Cruz-FilipeMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/Cruz-FilipeMP21
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti:
Formalising a Turing-Complete Choreographic Language in Coq. ITP 2021: 15:1-15:18
2020
[c43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/birthday/GiallorenzoLMSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GiallorenzoLMSZ20
Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro:
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. Gabbrielli's Festschrift 2020: 5:1-5:21
2019
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/GiallorenzoMSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/GiallorenzoMSZ19
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro:
Ephemeral Data Handling in Microservices. SCC 2019: 234-236
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GabbrielliGLMPZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GabbrielliGLMPZ19
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro:
No More, No Less - A Formal Model for Serverless Computing. COORDINATION 2019: 148-157
2018
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/GiallorenzoMG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GiallorenzoMG18
Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli:
Applied Choreographies. FORTE 2018: 21-40
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CarboneCMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CarboneCMM18
Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska:
Multiparty Classical Choreographies. LOPSTR 2018: 59-76
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/Cruz-FilipeMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/Cruz-FilipeMP18
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti:
Communications in choreographies, revisited. SAC 2018: 1248-1255
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MontesiW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MontesiW18
Fabrizio Montesi, Janine Weber:
From the decorator pattern to circuit breakers in microservices. SAC 2018: 1733-1735
[c36]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06848
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06848
Wen Kokke, Fabrizio Montesi, Marco Peressotti:
Taking Linear Logic Apart. Linearity-TLLA@FLoC 2018: 90-103
2017
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/dais/MontesiT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dais/MontesiT17
Fabrizio Montesi, Dan Sebastian Thrane:
Packaging Microservices - (Work in Progress). DAIS 2017: 131-137
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Cruz-FilipeM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Cruz-FilipeM17
Luís Cruz-Filipe, Fabrizio Montesi:
Procedural Choreographic Programming. FORTE 2017: 92-107
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Montesi17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Montesi17
Fabrizio Montesi:
Classical Higher-Order Processes - (Short Paper). FORTE 2017: 171-178
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/Cruz-FilipeLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Cruz-FilipeLM17
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi:
The Paths to Choreography Extraction. FoSSaCS 2017: 424-440
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/Cruz-FilipeM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/Cruz-FilipeM17
Luís Cruz-Filipe, Fabrizio Montesi:
Encoding asynchrony in choreographies. SAC 2017: 1175-1177
[c30]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-11211
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-11211
Luís Cruz-Filipe, Fabrizio Montesi:
On Asynchrony and Choreographies. ICE@DisCoTec 2017: 76-90
2016
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/SafinaMMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/SafinaMMR16
Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera:
Data-Driven Workflows for Microservices: Genericity in Jolie. AINA 2016: 430-437
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GabbrielliGGMM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GabbrielliGGMM16
Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi:
Self-Reconfiguring Microservices. Theory and Practice of Formal Methods 2016: 194-210
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/CarboneLMSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CarboneLMSW16
Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler:
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR 2016: 33:1-33:15
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Cruz-FilipeM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Cruz-FilipeM16
Luís Cruz-Filipe, Fabrizio Montesi:
A Core Model for Choreographic Programming. FACS 2016: 17-35
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Cruz-FilipeM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Cruz-FilipeM16
Luís Cruz-Filipe, Fabrizio Montesi:
Choreographies in Practice. FORTE 2016: 114-123
2015
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LaneseMZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LaneseMZ15
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems 2015: 506-521
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/CarboneMSY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CarboneMSY15
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida:
Multiparty Session Types as Coherence Proofs. CONCUR 2015: 412-426
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Montesi15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Montesi15
Fabrizio Montesi:
Kickstarting Choreographic Programming. WS-FM 2015: 3-10
2014
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CarboneMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CarboneMS14
Marco Carbone, Fabrizio Montesi, Carsten Schürmann:
Choreographies, Logically. CONCUR 2014: 47-62
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/CarboneDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CarboneDM14
Marco Carbone, Ornela Dardha, Fabrizio Montesi:
Progress as Compositional Lock-Freedom. COORDINATION 2014: 49-64
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/dcai/GabbrielliGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcai/GabbrielliGM14
Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi:
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. DCAI 2014: 131-139
2013
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/MontesiY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/MontesiY13
Fabrizio Montesi, Nobuko Yoshida:
Compositional Choreographies. CONCUR 2013: 425-439
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CarboneM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CarboneM13
Marco Carbone, Fabrizio Montesi:
Deadlock-freedom-by-design: multiparty asynchronous global programming. POPL 2013: 263-274
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/Montesi13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/Montesi13
Fabrizio Montesi:
Process-aware web programming with Jolie. SAC 2013: 761-763
[c15]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LaneseMZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LaneseMZ13
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
Amending Choreographies. WWV 2013: 34-48
2012
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/PredaGGMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/PredaGGMM12
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi:
Interface-Based Service Composition with Aggregation. ESOCC 2012: 48-63
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/soca/PredaGGMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soca/PredaGGMM12
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi:
Service integration via target-transparent mediation. SOCA 2012: 1-5
[c12]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-6331
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-6331
Marco Carbone, Fabrizio Montesi:
Merging Multiparty Protocols in Multiparty Choreographies. PLACES 2012: 21-27
2011
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/MauroGGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/MauroGGM11
Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi:
An Efficient Management of Correlation Sets with Broadcast. COORDINATION 2011: 80-94
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/MontesiC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/MontesiC11
Fabrizio Montesi, Marco Carbone:
Programming Services with Correlation Sets. ICSOC 2011: 125-141
2010
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LaneseM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LaneseM10
Ivan Lanese, Fabrizio Montesi:
Error Handling: From Theory to Practice. ISoLA (2) 2010: 66-81
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/MontesiS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/MontesiS10
Fabrizio Montesi, Davide Sangiorgi:
A Model of Evolvable Components. TGC 2010: 153-171
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/LaneseBM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/LaneseBM10
Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi:
A Framework for Rule-Based Dynamic Adaptation. TGC 2010: 284-300
2009
[c6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0906-3920
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0906-3920
Claudio Guidi, Fabrizio Montesi:
Reasoning About a Service-oriented Programming Paradigm. YR-SOC 2009: 67-81
2008
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/GuidiLMZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/GuidiLMZ08
Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ecows/MontesiGLZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecows/MontesiGLZ08
Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro:
Dynamic Fault Handling Mechanisms for Service-Oriented Applications. ECOWS 2008: 225-234
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LaneseGMZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LaneseGMZ08
Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro:
Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM 2008: 323-332
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ecows/MontesiGZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecows/MontesiGZ07
Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro:
Composing Services with JOLIE. ECOWS 2007: 13-22
2006
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MontesiGLZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MontesiGLZ07
Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
JOLIE: a Java Orchestration Language Interpreter Engine. CoOrg/MTCoord@COORDINATION 2006: 19-33

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2017
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/DragoniGLMMMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/DragoniGLMMMS17
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina:
Microservices: Yesterday, Today, and Tomorrow. Present and Ulterior Software Engineering 2017: 195-216
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/GuidiLMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/GuidiLMM17
Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Microservices: A Language-Based Approach. Present and Ulterior Software Engineering 2017: 217-225
2014
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/wsf14/MontesiGZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/wsf14/MontesiGZ14
Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro:
Service-Oriented Programming with Jolie. Web Services Foundations 2014: 81-107

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2022
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/2022
Fabrizio Montesi, George Angelos Papadopoulos, Wolf Zimmermann:
Service-Oriented and Cloud Computing - 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings. Lecture Notes in Computer Science 13226, Springer 2022, ISBN 978-3-031-04717-6 [contents]
2020
[e1]
- view
- export record
  dblp key:
  - conf/microservices/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/microservices/2019
Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh:
Joint Post-proceedings of the First and Second International Conference on Microservices, Microservices 2017/2019, October 23-27, 2017, Odense, Denmark / February 19-21, 2019, Dortmund, Germany. OASIcs 78, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-137-5 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-17403
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-17403
Dan Plyukhin, Marco Peressotti, Fabrizio Montesi:
Ozone: Fully Out-of-Order Choreographies. CoRR abs/2401.17403 (2024)
[i41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-18508
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-18508
Matteo Acclavio, Fabrizio Montesi, Marco Peressotti:
On Propositional Dynamic Logic and Concurrency. CoRR abs/2403.18508 (2024)
2023
[i40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-14622
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-14622
Luís Cruz-Filipe, Fabrizio Montesi:
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. CoRR abs/2302.14622 (2023)
[i39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-03972
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-03972
Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi:
Certified Compilation of Choreographies with hacc. CoRR abs/2303.03972 (2023)
[i38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-03983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-03983
Lovro Lugovic, Fabrizio Montesi:
Real-World Choreographic Programming: An Experience Report. CoRR abs/2303.03983 (2023)
[i37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-04678
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-04678
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi:
Alice or Bob?: Process Polymorphism in Choreographies. CoRR abs/2303.04678 (2023)
[i36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-14539
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-14539
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti:
Reasoning about Choreographic Programs. CoRR abs/2304.14539 (2023)
2022
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-11397
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-11397
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher:
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. CoRR abs/2202.11397 (2022)
[i34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-02636
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-02636
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi, Larisa Safina:
Implementing Choreography Extraction. CoRR abs/2205.02636 (2022)
[i33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-08884
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-08884
Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi:
From Infinity to Choreographies: Extraction for Unbounded Systems. CoRR abs/2207.08884 (2022)
[i32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-01886
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-01886
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti:
A Formal Theory of Choreographic Programming. CoRR abs/2209.01886 (2022)
2021
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-02627
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-02627
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti:
Formalising a Turing-Complete Choreographic Language in Coq. CoRR abs/2102.02627 (2021)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-10698
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-10698
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti:
Certifying Choreography Compilation. CoRR abs/2102.10698 (2021)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-09518
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-09518
Fabrizio Montesi, Marco Peressotti, Valentino Picotti:
Sliceable Monolith: Monolith First, Microservices Later. CoRR abs/2103.09518 (2021)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-02458
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-02458
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh:
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. CoRR abs/2104.02458 (2021)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-11818
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-11818
Fabrizio Montesi, Marco Peressotti:
Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes. CoRR abs/2106.11818 (2021)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-03701
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-03701
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti:
Choreographies as Functions. CoRR abs/2111.03701 (2021)
2020
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-09520
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-09520
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti:
Choreographies as Objects. CoRR abs/2005.09520 (2020)
2019
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-07962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-07962
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro:
No more, no less - A formal model for serverless computing. CoRR abs/1903.07962 (2019)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-11327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-11327
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro:
Ephemeral Data Handling in Microservices - Technical Report. CoRR abs/1904.11327 (2019)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-11741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-11741
Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina:
Implementing choreography extraction. CoRR abs/1910.11741 (2019)
2018
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-08107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-08107
Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira:
Choreographies for Reactive Programming. CoRR abs/1801.08107 (2018)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-02917
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-02917
Fabrizio Montesi:
Classical Higher-Order Processes. CoRR abs/1802.02917 (2018)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-01049
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01049
Fabrizio Montesi, Marco Peressotti:
Classical Transitions. CoRR abs/1803.01049 (2018)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-08976
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-08976
Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi:
Connectors meet Choreographies. CoRR abs/1804.08976 (2018)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-05088
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-05088
Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska:
Multiparty Classical Choreographies. CoRR abs/1808.05088 (2018)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-02209
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-02209
Wen Kokke, Fabrizio Montesi, Marco Peressotti:
Better Late Than Never: A Fully Abstract Semantics for Classical Processes. CoRR abs/1811.02209 (2018)
2017
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GuidiLMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuidiLMM17
Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Microservices: a Language-based Approach. CoRR abs/1704.08073 (2017)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-08700
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-08700
Luís Cruz-Filipe, Fabrizio Montesi:
That's Enough: Asynchrony with Standard Choreography Primitives. CoRR abs/1711.08700 (2017)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-10201
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10201
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti:
Communications in Choreographies, Revisited. CoRR abs/1711.10201 (2017)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1712-05465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-05465
Fabrizio Montesi, Marco Peressotti:
Choreographies meet Communication Failures. CoRR abs/1712.05465 (2017)
2016
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Cruz-FilipeM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cruz-FilipeM16
Luís Cruz-Filipe, Fabrizio Montesi:
Choreographies, Divided and Conquered. CoRR abs/1602.03729 (2016)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/TchitchiginSMEM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TchitchiginSMEM16
Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera:
Refinement types in Jolie. CoRR abs/1602.06823 (2016)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Cruz-FilipeM16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cruz-FilipeM16a
Luís Cruz-Filipe, Fabrizio Montesi:
Choreographies in Practice. CoRR abs/1602.08863 (2016)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DragoniGLMMMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DragoniGLMMMS16
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina:
Microservices: yesterday, today, and tomorrow. CoRR abs/1606.04036 (2016)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MontesiW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MontesiW16
Fabrizio Montesi, Janine Weber:
Circuit Breakers, Discovery, and API Gateways in Microservices. CoRR abs/1609.05830 (2016)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Cruz-FilipeLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cruz-FilipeLM16
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi:
The Paths to Choreography Extraction. CoRR abs/1610.10050 (2016)
2015
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Montesi15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Montesi15
Fabrizio Montesi:
Kickstarting Choreographic Programming. CoRR abs/1502.02519 (2015)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Cruz-FilipeM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cruz-FilipeM15
Luís Cruz-Filipe, Fabrizio Montesi:
Choreographies, Computationally. CoRR abs/1510.03271 (2015)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GabbrielliGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GabbrielliGM15
Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi:
Applied Choreographies. CoRR abs/1510.03637 (2015)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SafinaMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SafinaMM15
Larisa Safina, Manuel Mazzara, Fabrizio Montesi:
Data-driven Workflows for Microservices. CoRR abs/1511.02597 (2015)
2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Montesi14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Montesi14
Fabrizio Montesi:
Process-aware web programming with Jolie. CoRR abs/1410.3712 (2014)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.