Improved Distributed Algorithms for SCC Decomposition

DOI10.1016/j.entcs.2008.02.001zbMath1277.68293OpenAlexW2121186857WikidataQ62047483 ScholiaQ62047483MaRDI QIDQ2866327

J. Chaloupka, Jaco van de Pol, Jiří Barnat

Publication date: 13 December 2013

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.02.001

zbMATH Keywords

parallelOBF techniqueSCC decomposition

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Graph algorithms (graph-theoretic aspects) (05C85) Distributed algorithms (68W15)

Uses Software

• VLTS Benchmark Suite

Cites Work

• Depth-First Search and Linear Graph Algorithms
• Unnamed Item
• Unnamed Item

This page was built for publication: Improved Distributed Algorithms for SCC Decomposition