Model checking reversible systems: forwardly

DOI10.1007/978-3-031-62076-8_14MaRDI QIDQ6637601zbMATH OpenFDO

Authors Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna

Publication date 13 November 2024

Full work available at URL https://doi.org/10.1007/978-3-031-62076-8_14

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Cites work

• A hierarchy of reverse bisimulations on stable configuration structures
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Branching processes of Petri nets
• Canonical prefixes of Petri net unfoldings
• Checkpoint/rollback vs causally-consistent reversibility
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Concurrent flexible reversibility
• Event identifier logic
• Forward-reverse observational equivalences in CCSK
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Model-checking linear-time properties of quantum systems
• Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker
• Relating reversible Petri nets and reversible event structures, categorically
• Reversibility in the higher-order \(\pi\)-calculus
• Reversible computation in nets with bonds
• Reversing algebraic process calculi
• Reversing place transition nets
• Reversing steps in membrane systems computations
• The non-sequential behaviour of Petri nets
• Trellis processes: a compact representation for runs of concurrent systems
• Unfoldings: A partial-order approach to model checking.

This page was built for publication: Model checking reversible systems: forwardly

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