Stronger Reduction Criteria for Local First Search

DOI10.1007/11921240_8zbMath1168.68386OpenAlexW2157003449MaRDI QIDQ3525144

Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler

Publication date: 11 September 2008

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

Full work available at URL: https://doi.org/10.1007/11921240_8

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic

Uses Software

• POEM

This page was built for publication: Stronger Reduction Criteria for Local First Search