{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:09Z","timestamp":1742598609838,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540589501"},{"type":"electronic","value":"9783540491552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58950-3_353","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:54:58Z","timestamp":1330275298000},"page":"25-32","source":"Crossref","is-referenced-by-count":8,"title":["3D layout of reachability graphs of communicating processes"],"prefix":"10.1007","author":[{"given":"Thierry","family":"J\u00e9ron","sequence":"first","affiliation":[]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"3_CR1","unstructured":"Fran\u00e7oise Andr\u00e9, Olivier Ch\u00e9ron, and Jean-Louis Pazat. Compiling Sequential Programs for Distributed Memory Parallel Computers with Pandore II. In J. J. Dongarra and B. Tourancheau, editors, Environments and Tools for Parallel Scientific Computing, pages 293\u2013308, Elsevier Science Publishers B.V., 1993. Also available as technical report IRISA (no. 651)."},{"key":"3_CR2","unstructured":"N. Bourbaki. El\u00e9ments de math\u00e9matique: Alg\u00e8bre. Masson, 1981. Chap. 4\u20137."},{"key":"3_CR3","unstructured":"CCITT. SDL, Recommendation Z.100. 1987."},{"key":"3_CR4","unstructured":"G. Di Battista, P. Eades, H. de Fraysseix, P. Rosentiehl, and R. Tamassia, editors. Graph Drawing '93, the ALCOM International Workshop on Graph Drawing, S\u00e8vres, Parc of Saint Cloud, Paris, September 1993."},{"key":"3_CR5","unstructured":"G. Di Battista, P. Eades, and R. Tamassia. Algorithms for drawing graphs: an annotated bibliography. Draft document."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"C. Diehl, C. Jard, and J.X. Rampon. Reachability analysis on distributed executions. In M.C. Gaudel and J.P. Jouannaud, editors, TAPSOFT, pages 629\u2013643, Springer-Verlag, LNCS 668, Orsay, April 1993.","DOI":"10.1007\/3-540-56610-4_94"},{"key":"3_CR7","unstructured":"ISO 9074. Estelle: a Formal Description Technique based on an Extented State Transition Model. ISO TC97\/SC21\/WG6.1, 1989."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"T. J\u00e9ron and C. Jard. 3D layout of reachability graphs of communicating processes. Technical Report 2334, INRIA, September 1994.","DOI":"10.1007\/3-540-58950-3_353"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"C. Jard, T. J\u00e9ron, G.-V. Jourdan, and J.-X. Rampon. A general approach to trace-checking in distributed computing systems. In The 14 th International Conference on Distributed Computing Systems, Poznan, Poland, pages 396\u2013403, IEEE Computer Society Press, June 1994.","DOI":"10.1109\/ICDCS.1994.302443"},{"issue":"2","key":"3_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/TSMC.1981.4308636","volume":"SMC-11","author":"K. Sugiyama","year":"1981","unstructured":"K. Sugiyama, S. Tagawa, and M. Toda. Methods for visual understanding of hierarchical systems. IEEE Trans. on Systems, Man and Cybernetics, SMC-11(2):109\u2013125, 1981.","journal-title":"IEEE Trans. on Systems, Man and Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Graph Drawing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58950-3_353.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:40:37Z","timestamp":1742596837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58950-3_353"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540589501","9783540491552"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-58950-3_353","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}