The Weak Spectroscopy Game to Characterize Behavioral Equivalences

MaRDI QIDQ7361664FDO

Authors Lisa A. Barthel, Leonard M. Hübner, Caroline Lemke, Karl P. P. Mattes, Lenard Mollenkopf, Benjamin Bisping

Publication date 17 November 2025

Cites work

• Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence
• Galois energy games: to solve all kinds of quantitative reachability problems
• Unnamed Publication
• One energy game for the spectrum between branching bisimilarity and weak trace semantics
• Process equivalence problems as energy games

This page was built for software: The Weak Spectroscopy Game to Characterize Behavioral Equivalences