Marco Peressotti

According to our database, Marco Peressotti authored at least 35 papers between 2013 and 2021.

Collaborative distances:

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

2021

Certifying Choreography Compilation.

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

CoRR, 2021

Formalising a Turing-Complete Choreographic Language in Coq.

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

CoRR, 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

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