Extended dependency graphs and efficient distributed fixed-point computation
type: Item
instance of: scholarly article
title: Extended dependency graphs and efficient distributed fixed-point computation
zbMATH Open document ID: 1393.68098
DOI: 10.1007/978-3-319-57861-3_10
author: Andreas Engelbredt Dalsgaard
author: Søren Enevoldsen
author: Peter Fogh
author: Lasse S. Jensen
author: Tobias S. Jepsen
author: Isabella Kaufmann
author: Søren M. Nielsen
author: Mads Chr. Olesen
author: Samuel Pastva
author: Jiří Srba
author: Kim G. Larsen
publication date: 2018-08-20T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68W15
zbMATH DE Number: 6920499
describes a project that uses: CADP
describes a project that uses: FDR3
describes a project that uses: MARCIE
describes a project that uses: TAPAAL
describes a project that uses: SPIN
describes a project that uses: LTSmin
MaRDI profile type: Publication
full work available at URL: 978-3-319-57861-3 10
OpenAlex ID: W2610810296
Recommended article: A Distributed Fixed-Point Algorithm for Extended Dependency Graphs*
Recommended article: Distributed computation of fixed points on dependency graphs
Recommended article: Distributed Computation of Large-scale Graph Problems
Recommended article: Parallel dynamical systems over directed dependency graphs
Recommended article: Distributed graph problems through an automata-theoretic lens
Recommended article: Distributed graph problems through an automata-theoretic Lens
Recommended article: Distributed Core Decomposition in Probabilistic Graphs
Recommended article: Q4525738
Recommended article: Optimizing declarative parallel distributed graph processing by using constraint solvers
Recommended article: Distributed graph traversals by relabelling systems with applications
description: scientific article; zbMATH DE number 6920499