Process equivalence problems as energy games

DOI10.1007/978-3-031-37706-8_5MaRDI QIDQ6535628zbMATH OpenFDO

Authors Benjamin Bisping

Publication date 1 February 2024

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

bisimulationenergy gamesprocess equivalence spectrum

Mathematics Subject Classification ID

Recommendations

• Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy
• A game for linear-time-branching-time spectroscopy
• Model-checking process equivalences
• Model-checking process equivalences
• CCS expressions, finite state processes, and three problems of equivalence

Cites work

• A game for linear-time-branching-time spectroscopy
• A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday
• An efficient simulation algorithm based on abstract interpretation
• Computer Aided Verification
• Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy
• Discovering ePassport vulnerabilities using bisimilarity
• Efficient reduction of nondeterministic automata with application to language inclusion testing
• Energy games in multiweighted automata
• Energy games with resource-bounded environments
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• Monotonic and Downward Closed Games
• Myths about the mutual exclusion problem
• Positional strategies for mean payoff games
• Reachability games on extended vector addition systems with states
• Reactive Systems
• Relating apartness and bisimulation
• Revivals, stuckness and the hierarchy of CSP models
• Solving parity games on integer vectors
• The complexity of multi-mean-payoff and multi-energy games
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• The theory of well-quasi-ordering: a frequently discovered concept
• Two-player boundedness counter games
• Z-reachability problem for games on 2-dimensional vector addition systems with states is in P

Cited in

(6)

• Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy
• A game characterization for contrasimilarity
• One energy game for the spectrum between branching bisimilarity and weak trace semantics
• Galois energy games: to solve all kinds of quantitative reachability problems
• The Weak Spectroscopy Game to Characterize Behavioral Equivalences
• Galois Energy Games

This page was built for publication: Process equivalence problems as energy games

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