Publication:4393887
From MaRDI portal
zbMath0899.68063MaRDI QIDQ4393887
Publication date: 11 June 1998
68R10: Graph theory (including graph drawing) in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
05C85: Graph algorithms (graph-theoretic aspects)