{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:58:19Z","timestamp":1725562699860},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153747"},{"type":"electronic","value":"9783642153754"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15375-4_10","type":"book-chapter","created":{"date-parts":[[2010,8,20]],"date-time":"2010-08-20T14:04:18Z","timestamp":1282313058000},"page":"132-146","source":"Crossref","is-referenced-by-count":3,"title":["A Geometric Approach to the Problem of Unique Decomposition of Processes"],"prefix":"10.1007","author":[{"given":"Thibaut","family":"Balabonski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Haucourt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48983-5_8","volume-title":"Hybrid Systems: Computation and Control","author":"O. Bournez","year":"1999","unstructured":"Bournez, O., Maler, O., Pnueli, A.: Orthogonal polyhedra: Representation and computation. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, p. 46. Springer, Heidelberg (1999)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Carson, S.D., Reynolds Jr., P.F.: The geometry of semaphore programs. ACM Transactions on Programming Languages and Systems, 25\u201353 (1987)","DOI":"10.1145\/9758.9759"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1007\/s002360050107","volume":"34","author":"F. Corradini","year":"1997","unstructured":"Corradini, F., Gorrieri, R., Roccetti, R.: Performance Preorder and Competitive Equivalence. Acta Inf.\u00a034, 805\u2013835 (1997)","journal-title":"Acta Inf."},{"key":"10_CR4","first-page":"43","volume-title":"Programming Languages: NATO Advanced Study Institute","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Cooperating sequential processes. In: Programming Languages: NATO Advanced Study Institute, pp. 43\u2013112. Academic Press, London (1968)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1023\/B:APCS.0000013812.75342.de","volume":"12","author":"L. Fajstrup","year":"2004","unstructured":"Fajstrup, L., Goubault, E., Haucourt, E., Rau\u00dfen, M.: Component categories and the fundamental category. App. Cat. Struct.\u00a012, 81\u2013108 (2004)","journal-title":"App. Cat. Struct."},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/11539452_38","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"E. Goubault","year":"2005","unstructured":"Goubault, E., Haucourt, E.: A practical application of geometric semantics to static analysis of concurrent programs. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 503\u2013517. Springer, Heidelberg (2005)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Goubault, E., Haucourt, E.: Component categories and the fundamental category II. App. Cat. Struct.\u00a015 (2007)","DOI":"10.1007\/s10485-007-9082-7"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/BFb0084783","volume-title":"CONCUR \u201992","author":"J.F. Groote","year":"1992","unstructured":"Groote, J.F., Moller, F.: Verification of Parallel Systems via Decomposition. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 62\u201376. Springer, Heidelberg (1992)"},{"key":"10_CR9","first-page":"504","volume-title":"Group theory from a geometrical viewpoint","author":"A. Haefliger","year":"1991","unstructured":"Haefliger, A.: Complexes of groups and orbihedra. In: Group theory from a geometrical viewpoint, pp. 504\u2013540. World Scientific, Singapore (1991)"},{"issue":"1-2","key":"10_CR10","doi-asserted-by":"crossref","first-page":"275","DOI":"10.5802\/aif.1292","volume":"42","author":"A. Haefliger","year":"1992","unstructured":"Haefliger, A.: Extension of complexes of groups. Annales de l\u2019institut Fourrier\u00a042(1-2), 275\u2013311 (1992), \n                  \n                    http:\/\/www.numdam.org\/","journal-title":"Annales de l\u2019institut Fourrier"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"315","DOI":"10.2307\/1969532","volume":"54","author":"J. Hashimoto","year":"1951","unstructured":"Hashimoto, J.: On direct product decomposition of partially ordered sets. Annals of Mathematics\u00a054, 315\u2013318 (1951)","journal-title":"Annals of Mathematics"},{"issue":"27","key":"10_CR12","first-page":"736","volume":"16","author":"E. Haucourt","year":"2006","unstructured":"Haucourt, E.: Categories of components and Loop-free categories. Theory and Applications of Categories\u00a016(27), 736\u2013770 (2006)","journal-title":"Theory and Applications of Categories"},{"key":"10_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0041-0","volume-title":"Algebra","author":"S. Lang","year":"2002","unstructured":"Lang, S.: Algebra. Springer, Heidelberg (2002) (4th corrected printing)"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.tcs.2004.11.019","volume":"335","author":"B. Luttik","year":"2005","unstructured":"Luttik, B., van Oostrom, V.: Decomposition orders: another generalisation of the fundamental theorem of arithmetic. Theor. Comp. Sci.\u00a0335, 147\u2013186 (2005)","journal-title":"Theor. Comp. Sci."},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1016\/0304-3975(93)90176-T","volume":"107","author":"R. Milner","year":"1993","unstructured":"Milner, R., Moller, F.: Unique Decomposition of Processes. Theor. Comp. Sci.\u00a0107, 357\u2013363 (1993)","journal-title":"Theor. Comp. Sci."},{"key":"10_CR16","series-title":"Van Nostrand Mathematical Studies","volume-title":"Topology and Order","author":"L. Nachbin","year":"1965","unstructured":"Nachbin, L.: Topology and Order. Van Nostrand Mathematical Studies, vol.\u00a04. Van Nostrand, Princeton (1965)"},{"key":"10_CR17","unstructured":"Thao, D.: Methods and Tools for Computer Aided Design of Embedded Systems. HDR Thesis, ch. 5 (2009)"},{"key":"10_CR18","series-title":"Semantic Modelling","volume-title":"Handbook of Logic in Computer Science","author":"G. Winskel","year":"1995","unstructured":"Winskel, G.: Handbook of Logic in Computer Science. Semantic Modelling, vol.\u00a04. ch. 1. Oxford University Press, Oxford (1995)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2010 - Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15375-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:19:00Z","timestamp":1558286340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15375-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153747","9783642153754"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15375-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}