Marco Peressotti

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 61

Top Topics

Transactional Memory

Reactive Systems

Top Venues

Publications

Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
Ozone: Fully Out-of-Order Choreographies. CoRR (2024)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
Choral: Object-oriented Choreographic Programming. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Matteo Acclavio, Fabrizio Montesi, Marco Peressotti
On Propositional Dynamic Logic and Concurrency. CoRR (2024)
Fabrizio Montesi, Marco Peressotti, Valentino Picotti, Olaf Zimmermann
A Conceptual Framework for API Refactoring in Enterprise Application Architectures. CoRR (2024)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
JoT: A Jolie Framework for Testing Microservices. COORDINATION (2023)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
LEMMA2Jolie: A tool to generate microservice APIs from domain models. Sci. Comput. Program. 228 (2023)
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
Reasoning about Choreographic Programs. CoRR (2023)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Modular Compilation for Higher-Order Functional Choreographies. ECOOP (2023)
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
Reasoning About Choreographic Programs. COORDINATION (2023)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
A Formal Theory of Choreographic Programming. J. Autom. Reason. 67 (2) (2023)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. CoRR (2022)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
Model-Driven Code Generation for Microservices: Service Models. Microservices (2022)
Alessio Chiapperini, Marino Miculan, Marco Peressotti
Computing (optimal) embeddings of directed bigraphs. Sci. Comput. Program. 221 (2022)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
A Formal Theory of Choreographic Programming. CoRR (2022)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. COORDINATION (2022)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Functional Choreographic Programming. ICTAC (2022)
Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti
Modular Choreographies: Bridging Alice and Bob Notation to Java. Microservices (2022)
Fabrizio Montesi, Marco Peressotti, Valentino Picotti
Sliceable Monolith: Monolith First, Microservices Later. CoRR (2021)
Fabrizio Montesi, Marco Peressotti, Valentino Picotti
Sliceable Monolith: Monolith First, Microservices Later. SCC (2021)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Certifying Choreography Compilation. ICTAC (2021)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Formalising a Turing-Complete Choreographic Language in Coq. CoRR (2021)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Certifying Choreography Compilation. CoRR (2021)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. COORDINATION (2021)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
Multiparty Languages: The Choreographic and Multitier Cases (Pearl). ECOOP (2021)
Fabrizio Montesi, Marco Peressotti
Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes. CoRR (2021)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. CoRR (2021)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Choreographies as Functions. CoRR (2021)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Formalising a Turing-Complete Choreographic Language in Coq. ITP (2021)
Alessio Chiapperini, Marino Miculan, Marco Peressotti
Computing Embeddings of Directed Bigraphs. ICGT (2020)
Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle, Nikolai Nøjgaard, Marco Peressotti
A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework. SOFSEM (Doctoral Student Research Forum) (2020)
Marino Miculan, Marco Peressotti
Software Transactional Memory with Interactions. ICTCS (2020)
Fabio Burco, Marino Miculan, Marco Peressotti
Towards a formal model for composable container systems. SAC (2020)
Alessio Chiapperini, Marino Miculan, Marco Peressotti
A CSP implementation of the directed bigraph embedding problem. CoRR (2020)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
Choreographies as Objects. CoRR (2020)
Marino Miculan, Marco Peressotti
Software Transactional Memory with Interactions. CoRR (2020)
Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle, Nikolai Nøjgaard, Marco Peressotti
A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework. CoRR (2019)
Tomasz Brengos, Marco Peressotti
Behavioural equivalences for timed systems. Log. Methods Comput. Sci. 15 (1) (2019)
Tomasz Brengos, Marco Peressotti
Two modes of recognition: algebra, coalgebra, and languages. CoRR (2019)
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Better late than never: a fully-abstract semantics for classical processes. Proc. ACM Program. Lang. 3 (POPL) (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
No more, no less - A formal model for serverless computing. CoRR (2019)
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)
Fabio Burco, Marino Miculan, Marco Peressotti
Towards a Formal Model for Composable Container Systems. CoRR (2019)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Communications in choreographies, revisited. SAC (2018)
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Better Late Than Never: A Fully Abstract Semantics for Classical Processes. CoRR (2018)
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Taking Linear Logic Apart. Linearity-TLLA@FLoC (2018)
Fabrizio Montesi, Marco Peressotti
Classical Transitions. CoRR (2018)
Marino Miculan, Marco Peressotti
Deciding Weak Weighted Bisimulation. ICTCS/CILC (2017)
Alessio Mansutti, Marino Miculan, Marco Peressotti
Loose Graph Simulations. STAF Workshops (2017)
Marco Peressotti
On the trade-off between labels and weights in quantitative bisimulation. CoRR (2017)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Communications in Choreographies, Revisited. CoRR (2017)
Marino Miculan, Marco Peressotti
Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation. CoRR (2017)
Alessio Mansutti, Marino Miculan, Marco Peressotti
Loose Graph Simulations. CoRR (2017)
Tomasz Brengos, Marco Peressotti
A Uniform Framework for Timed Automata and Beyond. CoRR (2017)
Fabrizio Montesi, Marco Peressotti
Choreographies meet Communication Failures. CoRR (2017)
Marino Miculan, Marco Peressotti
Structural operational semantics for non-deterministic processes with quantitative aspects. Theor. Comput. Sci. 655 (2016)
Marino Miculan, Marco Peressotti
A Specification of Open Transactional Memory for Haskell. CoRR (2016)
Dario De Nart, Dante Degl'Innocenti, Marco Peressotti, Carlo Tasso
Stratifying Semantic Data for Citation and Trust: An Introduction to RDFDF. IRCDL (2016)
Dario De Nart, Dante Degl'Innocenti, Marco Peressotti
Well-Stratified Linked Data for Well-Behaved Data Citation. Bull. IEEE Tech. Comm. Digit. Libr. 12 (1) (2016)
Tomasz Brengos, Marco Peressotti
A Uniform Framework for Timed Automata. CONCUR (2016)
Marino Miculan, Marco Peressotti
On the Bisimulation Hierarchy of State-to-Function Transition Systems. ICTCS (2016)
Marco Peressotti
Endofunctors modelling higher-order behaviours. CoRR (2016)
Marino Miculan, Marco Peressotti, Andrea Toneguzzo
Open Transactions on Shared Memory. COORDINATION (2015)
Marino Miculan, Marco Peressotti, Andrea Toneguzzo
Open Transactions on Shared Memory. CoRR (2015)
Tomasz Brengos, Marino Miculan, Marco Peressotti
Behavioural equivalences for coalgebras with unobservable moves. J. Log. Algebraic Methods Program. 84 (6) (2015)
Alessio Mansutti, Marino Miculan, Marco Peressotti
Distributed execution of bigraphical reactive systems. CoRR (2015)
Dario De Nart, Dante Degl'Innocenti, Marco Peressotti
Well-Stratified Linked Data for Well-Behaved Data Citation. CoRR (2015)
Alessio Mansutti, Marino Miculan, Marco Peressotti
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. DAIS (2014)
Marino Miculan, Marco Peressotti
A CSP implementation of the bigraph embedding problem. CoRR (2014)
Alessio Mansutti, Marino Miculan, Marco Peressotti
Distributed execution of bigraphical reactive systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71 (2014)
Marino Miculan, Marco Peressotti
GSOS for non-deterministic processes with quantitative aspects. QAPL (2014)
Marino Miculan, Marco Peressotti
Structural operational semantics for non-deterministic processes with quantitative aspects. CoRR (2014)
Tomasz Brengos, Marino Miculan, Marco Peressotti
Behavioural equivalences for coalgebras with unobservable moves. CoRR (2014)
Marino Miculan, Marco Peressotti
Weak bisimulations for labelled transition systems weighted over semirings. CoRR (2013)