A Distributed Fixed-Point Algorithm for Extended Dependency Graphs*

DOI10.3233/FI-2018-1707zbMath1396.68070OpenAlexW4242790377MaRDI QIDQ4686522

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

Publication date: 2 October 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2018-1707

Mathematics Subject Classification ID

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

Related Items (3)

Elimination of detached regions in dependency graph verification ⋮ Partial order reduction for reachability games ⋮ Verification of multiplayer stochastic games via abstract dependency graphs

This page was built for publication: A Distributed Fixed-Point Algorithm for Extended Dependency Graphs*