Stubborn Set Intuition Explained

DOI10.1007/978-3-662-55862-1_7zbMath1464.68265OpenAlexW2574621618MaRDI QIDQ4994076

Antti Valmari, Henri Hansen

Publication date: 14 June 2021

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-55862-1_7

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Stubborn versus structural reductions for Petri nets, Unnamed Item, Taking Some Burden Off an Explicit CTL Model Checker, Exponential automatic amortized resource analysis, The inconsistent labelling problem of stutter-preserving partial-order reduction, Partial order reduction for reachability games, Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems, Unnamed Item