Marco Peressotti

According to our database, Marco Peressotti authored at least 55 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Choral: Object-oriented Choreographic Programming.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti

ACM Trans. Program. Lang. Syst., March, 2024

On Propositional Dynamic Logic and Concurrency.

Matteo Acclavio, Fabrizio Montesi, Marco Peressotti

CoRR, 2024

Ozone: Fully Out-of-Order Choreographies.

Dan Plyukhin, Marco Peressotti, Fabrizio Montesi

CoRR, 2024

2023

LEMMA2Jolie: A tool to generate microservice APIs from domain models.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

Sci. Comput. Program., June, 2023

A Formal Theory of Choreographic Programming.

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

J. Autom. Reason., June, 2023

Modular Compilation for Higher-Order Functional Choreographies.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

JoT: A Jolie Framework for Testing Microservices.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana

Proceedings of the Coordination Models and Languages, 2023

Reasoning About Choreographic Programs.

Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti

Proceedings of the Coordination Models and Languages, 2023

2022

Computing (optimal) embeddings of directed bigraphs.

Alessio Chiapperini, Marino Miculan, Marco Peressotti

Sci. Comput. Program., 2022

Model-Driven Code Generation for Microservices: Service Models.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022

Modular Choreographies: Bridging Alice and Bob Notation to Java.

Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti

Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022

Functional Choreographic Programming.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

Proceedings of the Coordination Models and Languages, 2022

2021

Choreographies as Functions.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

CoRR, 2021

Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes.

Fabrizio Montesi, Marco Peressotti

CoRR, 2021

Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh

CoRR, 2021

Formalising a Turing-Complete Choreographic Language in Coq.

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Certifying Choreography Compilation.

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

Multiparty Languages: The Choreographic and Multitier Cases (Pearl).

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh

Proceedings of the Coordination Models and Languages, 2021

Sliceable Monolith: Monolith First, Microservices Later.

Fabrizio Montesi, Marco Peressotti, Valentino Picotti

Proceedings of the IEEE International Conference on Services Computing, 2021

2020

Choreographies as Objects.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti

CoRR, 2020

A CSP implementation of the directed bigraph embedding problem.

Alessio Chiapperini, Marino Miculan, Marco Peressotti

CoRR, 2020

A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework.

Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle, Nikolai Nøjgaard, Marco Peressotti

Proceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020), 2020

Towards a formal model for composable container systems.

Fabio Burco, Marino Miculan, Marco Peressotti

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Software Transactional Memory with Interactions.

Marino Miculan, Marco Peressotti

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

Computing Embeddings of Directed Bigraphs.

Alessio Chiapperini, Marino Miculan, Marco Peressotti

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Better late than never: a fully-abstract semantics for classical processes.

Wen Kokke, Fabrizio Montesi, Marco Peressotti

Proc. ACM Program. Lang., 2019

Behavioural equivalences for timed systems.

Tomasz Brengos, Marco Peressotti

Log. Methods Comput. Sci., 2019

Two modes of recognition: algebra, coalgebra, and languages.

Tomasz Brengos, Marco Peressotti

CoRR, 2019

No More, No Less - A Formal Model for Serverless Computing.

Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro

Proceedings of the Coordination Models and Languages, 2019

2018

Taking Linear Logic Apart.

Wen Kokke, Fabrizio Montesi, Marco Peressotti

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

Classical Transitions.

Fabrizio Montesi, Marco Peressotti

CoRR, 2018

Communications in choreographies, revisited.

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

Coalgebraic semantics of self-referential behaviours.

Marco Peressotti

PhD thesis, 2017

Choreographies meet Communication Failures.

Fabrizio Montesi, Marco Peressotti

CoRR, 2017

A Uniform Framework for Timed Automata and Beyond.

Tomasz Brengos, Marco Peressotti

CoRR, 2017

On the trade-off between labels and weights in quantitative bisimulation.

Marco Peressotti

CoRR, 2017

Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation.

Marino Miculan, Marco Peressotti

CoRR, 2017

Loose Graph Simulations.

Alessio Mansutti, Marino Miculan, Marco Peressotti

Proceedings of the Software Technologies: Applications and Foundations, 2017

Deciding Weak Weighted Bisimulation.

Marino Miculan, Marco Peressotti

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

2016

Structural operational semantics for non-deterministic processes with quantitative aspects.

Marino Miculan, Marco Peressotti

Theor. Comput. Sci., 2016

Well-Stratified Linked Data for Well-Behaved Data Citation.

Dario De Nart, Dante Degl'Innocenti, Marco Peressotti

Bull. IEEE Tech. Comm. Digit. Libr., 2016

Endofunctors modelling higher-order behaviours.

Marco Peressotti

CoRR, 2016

A Specification of Open Transactional Memory for Haskell.

Marino Miculan, Marco Peressotti

CoRR, 2016

Stratifying Semantic Data for Citation and Trust: An Introduction to RDFDF.

Dario De Nart, Dante Degl'Innocenti, Marco Peressotti, Carlo Tasso

Proceedings of the Digital Libraries and Multimedia Archives, 2016

On the Bisimulation Hierarchy of State-to-Function Transition Systems.

Marino Miculan, Marco Peressotti

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

A Uniform Framework for Timed Automata.

Tomasz Brengos, Marco Peressotti

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Behavioural equivalences for coalgebras with unobservable moves.

Tomasz Brengos, Marino Miculan, Marco Peressotti

J. Log. Algebraic Methods Program., 2015

Open Transactions on Shared Memory.

Marino Miculan, Marco Peressotti, Andrea Toneguzzo

Proceedings of the Coordination Models and Languages, 2015

2014

Distributed execution of bigraphical reactive systems.

Alessio Mansutti, Marino Miculan, Marco Peressotti

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

A CSP implementation of the bigraph embedding problem.

Marino Miculan, Marco Peressotti

CoRR, 2014

GSOS for non-deterministic processes with quantitative aspects.

Marino Miculan, Marco Peressotti

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems.

Alessio Mansutti, Marino Miculan, Marco Peressotti

Proceedings of the Distributed Applications and Interoperable Systems, 2014

2013

Weak bisimulations for labelled transition systems weighted over semirings.

Marino Miculan, Marco Peressotti

CoRR, 2013