A derivation of distributed implementation of Warshall's algorithm

DOI10.1016/0167-6423(86)90005-5zbMath0592.68065OpenAlexW2037144457MaRDI 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

Other classical set theory (including functions, relations, and set algebra) (03E20) Discrete mathematics in relation to computer science (68R99) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (1)

The formal development of a parallel program performing LU-decomposition

This page was built for publication: A derivation of distributed implementation of Warshall's algorithm