Distributed Algorithms for SCC Decomposition

DOI10.1093/logcom/exp003zbMath1210.68131OpenAlexW2127270793WikidataQ62047464 ScholiaQ62047464MaRDI QIDQ3069996

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

Publication date: 2 February 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/distributed-algorithms-for-scc-decomposition(91eabb57-5738-4487-a304-2645ee698003).html

zbMATH Keywords

parallel algorithmsstrongly connected components

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Connectivity (05C40)

Related Items

Digital Bifurcation Analysis of Internet Congestion Control Protocols, Symbolic coloured SCC decomposition, Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives, Dynamical modeling and analysis of large cellular regulatory networks, Unnamed Item, Computation of Lyapunov functions for systems with multiple local attractors

Uses Software

• DiVinE