Fabrizio Montesi
- CSLib: The Lean Computer Science Library
2026/02/04 by Clark Barrett, Swarat Chaudhuri, Fabrizio Montesi +5 · 5 voices
#cs.LO #cs.PL
- A Formal Theory of Choreographic Programming
2022/09/05 by Luı́s Cruz-Filipe, Fabrizio Montesi, Cruz-Filipe, Luís +3 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Modular Robots and Swarm Intelligence #Programming Languages (cs.PL)
- Alice or Bob?: Process Polymorphism in Choreographies
2023/03/08 by Eva Graversen, Graversen, Eva, Andrew K. Hirsch +3 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Logic, programming, and type systems #Modular Robots and Swarm Intelligence #Programming Languages (cs.PL) #Reinforcement Learning in Robotics
- Circuit Breakers, Discovery, and API Gateways in Microservices
2016/09/19 by Fabrizio Montesi, Janine Weber, Montesi, Fabrizio +1 · 1 citation
Computer Science · #Software System Performance and Reliability #Cloud Computing and Resource Management #Service-Oriented Architecture and Web Services
- Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
2026/02/16 by Christopher Henson, Fabrizio Montesi · 1 voice
Computer Science · #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #History of Computing Technologies
- Mech: Mechanised Choreographic Programming
2026/07/16 by Xueying Qin, Marco Peressotti, Fabrizio Montesi
#cs.PL
- Choreographic Programming: a Semantic Approach
2026/07/26 by Matteo Acclavio, Giulia Manara, Fabrizio Montesi +1
#cs.PL