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.
|