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

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of game theory (91A80)

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

(4)

• 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

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)