Marco Peressotti

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



Certifying Choreography Compilation.
CoRR, 2021

Formalising a Turing-Complete Choreographic Language in Coq.
CoRR, 2021

Choreographies as Objects.
CoRR, 2020

A CSP implementation of the directed bigraph embedding problem.
CoRR, 2020

A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework.
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.
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.
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

Computing Embeddings of Directed Bigraphs.
Proceedings of the Graph Transformation - 13th International Conference, 2020

Better late than never: a fully-abstract semantics for classical processes.
Proc. ACM Program. Lang., 2019

Behavioural equivalences for timed systems.
Log. Methods Comput. Sci., 2019

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

No More, No Less - A Formal Model for Serverless Computing.
Proceedings of the Coordination Models and Languages, 2019

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

Classical Transitions.
CoRR, 2018

Communications in choreographies, revisited.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Choreographies meet Communication Failures.
CoRR, 2017

A Uniform Framework for Timed Automata and Beyond.
CoRR, 2017

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

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

Loose Graph Simulations.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Deciding Weak Weighted Bisimulation.
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

Structural operational semantics for non-deterministic processes with quantitative aspects.
Theor. Comput. Sci., 2016

Well-Stratified Linked Data for Well-Behaved Data Citation.
Bull. IEEE Tech. Comm. Digit. Libr., 2016

Endofunctors modelling higher-order behaviours.
CoRR, 2016

A Specification of Open Transactional Memory for Haskell.
CoRR, 2016

Stratifying Semantic Data for Citation and Trust: An Introduction to RDFDF.
Proceedings of the Digital Libraries and Multimedia Archives, 2016

On the Bisimulation Hierarchy of State-to-Function Transition Systems.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

A Uniform Framework for Timed Automata.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Behavioural equivalences for coalgebras with unobservable moves.
J. Log. Algebraic Methods Program., 2015

Open Transactions on Shared Memory.
Proceedings of the Coordination Models and Languages, 2015

Distributed execution of bigraphical reactive systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

A CSP implementation of the bigraph embedding problem.
CoRR, 2014

GSOS for non-deterministic processes with quantitative aspects.
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.
Proceedings of the Distributed Applications and Interoperable Systems, 2014

Weak bisimulations for labelled transition systems weighted over semirings.
CoRR, 2013