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

zbMATH Keywords

bisimulationenergy gamesprocess equivalence spectrum

Mathematics Subject Classification ID

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

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

• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 7379295 (Why is no real title available?)
• scientific article; zbMATH DE number 7577583 (Why is no real title available?)
• scientific article; zbMATH DE number 7407787 (Why is no real title available?)
• 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
• Efficient reduction of nondeterministic automata with application to language inclusion testing
• Energy games in multiweighted automata
• Energy games with resource-bounded environments
• 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
• 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

(1)

• A game characterization for contrasimilarity

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)