Extended dependency graphs and efficient distributed fixed-point computation

DOI10.1007/978-3-319-57861-3_10MaRDI QIDQ1662534zbMATHOpenAlexFDO

Authors Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jiří Srba, Kim G. Larsen

Publication date 20 August 2018

Full work available at URL https://doi.org/10.1007/978-3-319-57861-3_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A distributed fixed-point algorithm for extended dependency graphs
• Distributed computation of fixed points on dependency graphs
• Distributed computation of large-scale graph problems
• Parallel dynamical systems over directed dependency graphs
• Distributed graph problems through an automata-theoretic lens
• Distributed graph problems through an automata-theoretic Lens
• Distributed core decomposition in probabilistic graphs
• scientific article; zbMATH DE number 1555967
• Optimizing declarative parallel distributed graph processing by using constraint solvers
• Distributed graph traversals by relabelling systems with applications

Cited in

(9)

• Distributed computation of fixed points on dependency graphs
• On the Verification of Weighted Kripke Structures Under Uncertainty
• An assessment of assignment schemes for dependency graphs
• Model checking and synthesis for branching multi-weighted logics
• A distributed fixed-point algorithm for extended dependency graphs
• On-the-Fly Synthesis for Strictly Alternating Games
• Model verification through dependency graphs
• Abstract Dependency Graphs and Their Application to Model Checking
• Elimination of detached regions in dependency graph verification

Describes a project that uses

Uses Software

• TAPAAL
• SPIN
• CADP
• LTSmin
• FDR3
• MARCIE

This page was built for publication: Extended dependency graphs and efficient distributed fixed-point computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1662534)