Thierry Jéron, Claude Jard. 3D Layout of Reachability Graphs of Communicating Processes. In Roberto Tamassia, Ioannis G. Tollis, editors, Graph Drawing, DIMACS International Workshop, GD 94, Princeton, New Jersey, USA, October 10-12, 1994, Proceedings. Volume 894 of Lecture Notes in Computer Science, pages 25-32, Springer, 1994.
Abstract is missing.