| BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. Distributed Partial Order Reduction of State Spaces. Electronic Notes on Theoretical Computer Science. Elsevier, 2005, vol. 128, No 3, p. 63-74. ISSN 1571-0661. |
Other formats:
BibTeX
LaTeX
RIS
@article{565939,
author = {Brim, Luboš and Černá, Ivana and Moravec, Pavel and Šimša, Jiří},
article_number = {3},
keywords = {partial order reduction},
language = {eng},
issn = {1571-0661},
journal = {Electronic Notes on Theoretical Computer Science},
title = {Distributed Partial Order Reduction of State Spaces},
volume = {128},
year = {2005}
}
TY - JOUR
ID - 565939
AU - Brim, Luboš - Černá, Ivana - Moravec, Pavel - Šimša, Jiří
PY - 2005
TI - Distributed Partial Order Reduction of State Spaces
JF - Electronic Notes on Theoretical Computer Science
VL - 128
IS - 3
SP - 63-74
EP - 63-74
PB - Elsevier
SN - 15710661
KW - partial order reduction
N2 - In this paper we propose a distrubuted partial order reduction algorithm for generating a reduced state space. Our algorithm exploits some features of the partial order reduction which make the idea of distributed DFS-based algorithm feasible. A pseudocode of the algorithm is given, its correctness is proven, its complexity is discussed and experimental results are presented.
ER -
BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. Distributed Partial Order Reduction of State Spaces. \textit{Electronic Notes on Theoretical Computer Science}. Elsevier, 2005, vol.~128, No~3, p.~63-74. ISSN~1571-0661.
|
