NiRvAna

First Intermediate Meeting in Mestre (2023)

---

June 5

• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
  Marco Bernardo (UniUrb)
• Relating Reversible Petri Nets and Reversible Event Structures, Categorically
  Claudio A. Mezzina (UniUrb)
• Smart Contracts Environments: Similarities and Differences
  Lorenzo Benetollo (UniVe)
• Smart Contracts: A Case Study
  Samia Guesmi (UniUd)

June 6

• Reverse Bisimilarity vs. Forward Bisimilarity
  Marco Bernardo (UniUrb)
• Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems
  Andrea Esposito (UniUrb)
• Proof of Work vs. Proof of Stake Consensus Mechanisms: A Comparison
  Ivan Malakhov (UniVe)
• Lumpabilities in PEPA
  Riccardo Romanello (UniUd)
• Selfish Mining in Public Blockchains: A Quantitative Analysis
  Daria Smuseva (UniVe)
• AI-Enhanced Blockchain Technology: Advancements and Opportunities
  Dalila Ressi (UniUd)

June 7

• DOXA: A Web3 Social Platform Integrating Trust Levels and NFT Capabilities Through Blockchain
  Vincenzo P. Di Perna (UniUrb)
• TRAIN: Challenging Monetarism and Enhancing Economic Stability Through an Expiring Transaction DLT System
  Vincenzo P. Di Perna (UniUrb)
• Stabilizing Algorithmic Stablecoins
  Francesco Fabris (UniTs)