Relating reversible Petri nets and reversible event structures, categorically

DOI10.1007/978-3-031-35355-0_13zbMATH Open1543.68248MaRDI QIDQ6535471

G. Michele Pinna, Claudio Antares Mezzina, Hernan Melgratti

Publication date: 11 January 2024

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reversibility in the higher-order \(\pi\)-calculus
• Reversibility and asymmetric conflict in event structures
• Petri nets, algebras, morphisms, and compositionality
• Cauder: a causal-consistent reversible debugger for Erlang
• Contextual Petri nets, asymmetric event structures, and processes
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Contextual nets
• Static versus dynamic reversibility in CCS
• A parametric framework for reversible \(\pi\)-calculi
• Towards a categorical representation of reversible event structures
• Reversing algebraic process calculi
• Reversible computation in nets with bonds
• A collective interpretation semantics for reversing Petri nets
• Modelling of Bonding with Processes and Events
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory

Related Items (1)

Model checking reversible systems: forwardly

This page was built for publication: Relating reversible Petri nets and reversible event structures, categorically

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535471)