scientific article; zbMATH DE number 2013597

zbMath1028.68945MaRDI QIDQ4436983

Dominique Méry, Dominique Cansell, Jean-Raymond Abrial

Publication date: 4 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2651/26510457.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Distributed algorithms (68W15)

Related Items

Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm, Unnamed Item, Verifying minimum spanning tree algorithms with Stone relation algebras, Incremental Parametric Development of Greedy Algorithms, An algebraic framework for minimum spanning tree problems