An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs.

Published in: ACM Trans. Program. Lang. Syst. (1990)

Keyphrases

high level programming language
parallel processing
graph matching
sorting algorithms
formal model
shared memory
knowledge base

multicore processors
graph theoretic
computer programs
parallel computing
graph model
graph mining
computer architecture

database
directed graph
bipartite graph
multi threaded
operational semantics
random graphs
fixpoint

programming environment
graph databases
weighted graph
massively parallel
graph representation
maximum number
complex structures