Fabrizio Montesi
According to our database1,
Fabrizio Montesi
authored at least 49 papers
between 2007 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
-
at twitter.com
-
at orcid.org
-
at dl.acm.org
On csauthors.net:
Bibliography
2019
Better late than never: a fully-abstract semantics for classical processes.
PACMPL, 2019
No More, No Less - A Formal Model for Serverless Computing.
Proceedings of the Coordination Models and Languages, 2019
2018
Taking Linear Logic Apart.
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018
From the decorator pattern to circuit breakers in microservices.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Communications in choreographies, revisited.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Multiparty Classical Choreographies.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018
Applied Choreographies.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018
2017
On Asynchrony and Choreographies.
Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 2017
Encoding asynchrony in choreographies.
Proceedings of the Symposium on Applied Computing, 2017
The Paths to Choreography Extraction.
Proceedings of the Foundations of Software Science and Computation Structures, 2017
Classical Higher-Order Processes - (Short Paper).
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
Procedural Choreographic Programming.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
Packaging Microservices - (Work in Progress).
Proceedings of the Distributed Applications and Interoperable Systems, 2017
Microservices: A Language-Based Approach.
Proceedings of the Present and Ulterior Software Engineering., 2017
Microservices: Yesterday, Today, and Tomorrow.
Proceedings of the Present and Ulterior Software Engineering., 2017
2016
Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016
Choreographies in Practice.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
A Core Model for Choreographic Programming.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.
Proceedings of the 27th International Conference on Concurrency Theory, 2016
Self-Reconfiguring Microservices.
Proceedings of the Theory and Practice of Formal Methods, 2016
Data-Driven Workflows for Microservices: Genericity in Jolie.
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016
2015
Special issue on Service-Oriented Architecture and Programming (SOAP 2013).
Sci. Comput. Program., 2015
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming.
J. Internet Serv. Inf. Secur., 2015
Kickstarting Choreographic Programming.
Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015
Multiparty Session Types as Coherence Proofs.
Proceedings of the 26th International Conference on Concurrency Theory, 2015
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies.
Proceedings of the Software, 2015
2014
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns.
Proceedings of the Distributed Computing and Artificial Intelligence, 2014
Progress as Compositional Lock-Freedom.
Proceedings of the Coordination Models and Languages, 2014
Choreographies, Logically.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Service-Oriented Programming with Jolie.
Proceedings of the Web Services Foundations, 2014
2013
Amending Choreographies.
Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013
Process-aware web programming with Jolie.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Deadlock-freedom-by-design: multiparty asynchronous global programming.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Compositional Choreographies.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
2012
Merging Multiparty Protocols in Multiparty Choreographies
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012
Service integration via target-transparent mediation.
Proceedings of the 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2012
Interface-Based Service Composition with Aggregation.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012
2011
Programming Services with Correlation Sets.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011
An Efficient Management of Correlation Sets with Broadcast.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011
2010
A Model of Evolvable Components.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
A Framework for Rule-Based Dynamic Adaptation.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
Error Handling: From Theory to Practice.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2009
Dynamic Error Handling in Service Oriented Applications.
Fundam. Inform., 2009
Reasoning About a Service-oriented Programming Paradigm
Proceedings of the Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, 2009
2008
Bridging the Gap between Interaction- and Process-Oriented Choreographies.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Dynamic Fault Handling Mechanisms for Service-Oriented Applications.
Proceedings of the ECOWS 2008, 2008
On the interplay between fault handling and request-response service invocations.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008
2007
JOLIE: a Java Orchestration Language Interpreter Engine.
Electr. Notes Theor. Comput. Sci., 2007
Composing Services with JOLIE.
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007