A derivation of distributed implementation of Warshall's algorithm

DOI10.1016/0167-6423(86)90005-5zbMath0592.68065MaRDI QIDQ1075774

Jan L. A. van de Snepscheut

Publication date: 1986

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(86)90005-5

zbMATH Keywords

transitive closure of a binary relation

Mathematics Subject Classification ID

03E20: Other classical set theory (including functions, relations, and set algebra)

68R99: Discrete mathematics in relation to computer science

03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations

Related Items

The formal development of a parallel program performing LU-decomposition