Process equivalence problems as energy games

DOI10.1007/978-3-031-37706-8_5zbMATH Open1547.68482MaRDI QIDQ6535628FDOQ6535628

Authors: Benjamin Bisping 

Publication date: 1 February 2024

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

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)

Cites Work

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

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)