Distributed computation of fixed points on dependency graphs
From MaRDI portal
Publication:1660777
DOI10.1007/978-3-319-47677-3_13zbMath1393.68099OpenAlexW2528810089MaRDI QIDQ1660777
Jiří Srba, Søren Enevoldsen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen
Publication date: 16 August 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-47677-3_13
Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Elimination of detached regions in dependency graph verification ⋮ Verification of multiplayer stochastic games via abstract dependency graphs
