## 3D Layout of Reachability Graphs of Communicating Processes
Jéron, Thierry and Jard, Claude
(1995)
Full text not available from this repository. ## AbstractThis paper presents a study about the 3D layout of some particular graphs. These graphs are finite reachability graphs of communicating processes. Some interesting semantical information which is present in the graph, such as concurrency, non-determinisn, and membership of actions to processes are explicitly used in the layout. We start with the study of deterministic processes and give a conical representation which satisfies our requirements. Then we extrapolate our layout for non-deterministic processes.
Repository Staff Only: item control page References |