{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T17:45:32Z","timestamp":1649094332586},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2007,1,13]],"date-time":"2007-01-13T00:00:00Z","timestamp":1168646400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2007,1,29]]},"DOI":"10.1007\/s00236-006-0037-5","type":"journal-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T19:18:15Z","timestamp":1168975095000},"page":"501-519","source":"Crossref","is-referenced-by-count":2,"title":["Geometric analysis of nondeterminacy in dynamical systems"],"prefix":"10.1007","volume":"43","author":[{"given":"Rafael","family":"Wisniewski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Raussen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,1,13]]},"reference":[{"key":"37_CR1","volume-title":"Smooth Dynamical Systems","author":"M. Arwin","year":"1980","unstructured":"Arwin M. (1980). Smooth Dynamical Systems. World Scientific, Singapore"},{"key":"37_CR2","unstructured":"Aubin, J.-P.: Viability Theory (Systems and Control: Foundations and Applications). Birkhauser (1991)"},{"key":"37_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-2696-6","volume-title":"Lectures on Morse Homology","author":"A. Banyaga","year":"2004","unstructured":"Banyaga A. and Hurtubise D. (2004). Lectures on Morse Homology. Kluwer, Dordrecht"},{"key":"37_CR4","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0024-3795(81)90310-4","volume":"39","author":"G. Barker","year":"1981","unstructured":"Barker G. (1981). Theory of cones. Linear Algebra and Its Applications. 39: 263\u2013291","journal-title":"Linear Algebra and Its Applications."},{"key":"37_CR5","unstructured":"Cohen, R.: Topics in Morse Theory: Lecture Notes. Stanford University (1991)"},{"key":"37_CR6","unstructured":"Fahrenberg, U.: Higher-dimensional automata from a topological viewpoint. Ph.D. Thesis, University (2005)"},{"key":"37_CR7","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/j.tcs.2006.03.022","volume":"357","author":"L. Fajstrup","year":"2006","unstructured":"Fajstrup L., Goubault E. and Raussen M. (2006). Algebraic Topology and Concurrency. Theoretical Computer Science 357: 241\u2013278","journal-title":"Theoretical Computer Science"},{"key":"37_CR8","unstructured":"Goubault, E.: The geometry of concurrency. Ph.D. Thesis, Ecole Normale Superieure, Paris (1995)"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Goubault, E., Jensen, T.: Homology of higher dimensional automata. In: CONCUR\u201992, Lecture Notes in Computer Science, vol. 630. Springer, Heidelberg (1992)","DOI":"10.1007\/BFb0084796"},{"key":"37_CR10","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0166-8641(02)00036-6","volume":"126","author":"D. Handron","year":"2002","unstructured":"Handron D. (2002). Generalized billiard paths and Morse theory for manifolds with corners. Topology Appl. 126: 83\u2013118","journal-title":"Topology Appl."},{"key":"37_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-9449-5","volume-title":"Differential Topology","author":"M.W. Hirsch","year":"1976","unstructured":"Hirsch M.W. (1976). Differential Topology. Springer, Heidelberg"},{"key":"37_CR12","volume-title":"Differential Equations, Dynamical Systems, and Linear Algebra","author":"M.W. Hirsch","year":"1974","unstructured":"Hirsch M.W. and Smale S. (1974). Differential Equations, Dynamical Systems and Linear Algebra. Academic, New York"},{"issue":"4","key":"37_CR13","doi-asserted-by":"crossref","first-page":"1031","DOI":"10.2307\/2373287","volume":"90","author":"K.R. Meyer","year":"1968","unstructured":"Meyer K.R. (1968). Energy functions for Morse-Smale systems. Am. J. Math. 90(4): 1031\u20131040","journal-title":"Am. J. Math."},{"key":"37_CR14","volume-title":"Morse Theory. Annals of Mathematics Studies","author":"J. Milnor","year":"1973","unstructured":"Milnor J. (1973). Morse Theory. Annals of Mathematics Studies. Princeton University Press, Princeton"},{"key":"37_CR15","volume-title":"Topology","author":"J. Munkres","year":"2000","unstructured":"Munkres J. (2000). Topology. Prentice-Hall, Englewood Chiffs"},{"key":"37_CR16","first-page":"5","volume":"57","author":"S.E. Newhouse","year":"1983","unstructured":"Newhouse S.E., Palis J. and Takens F. (1983). Bifurcations and stability of family of diffeomorphisms. math\u00e9matiques de l\u2019I.H.\u00c9.S. 57: 5\u201371","journal-title":"math\u00e9matiques de l\u2019I.H.\u00c9.S."},{"key":"37_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5703-5","volume-title":"Geometric Theory of Dynamical Systems","author":"J. Palis","year":"1982","unstructured":"Palis J. and de Melo W. (1982). Geometric Theory of Dynamical Systems. Springer, Heidelberg"},{"key":"37_CR18","doi-asserted-by":"crossref","unstructured":"Palis, J., Smale, S.: Structural stability theorems. In: Global Analysis. Proceedings of Symposium in Pure, Math. vol. XIV. Americal Math. Soc., pp. 223\u2013231 (1970)","DOI":"10.1090\/pspum\/014\/0267603"},{"key":"37_CR19","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0040-9383(65)90018-2","volume":"1","author":"M. Peixoto","year":"1962","unstructured":"Peixoto M. (1962). Structural stability on two-dimensional manifolds. Topology 1: 101\u2013120","journal-title":"Topology"},{"key":"37_CR20","doi-asserted-by":"crossref","unstructured":"Pratt, V.: Modeling concurrency with geometry. In: 18th ACM Symposium on Principles of Languages, pp. 311\u2013322. ACM Press, New York (1991)","DOI":"10.1145\/99583.99625"},{"key":"37_CR21","doi-asserted-by":"crossref","unstructured":"Schwarz, M.: Morse Homology. Birkhauser (1993)","DOI":"10.1007\/978-3-0348-8577-5"},{"key":"37_CR22","volume-title":"Global Stability of Dynamical Systems","author":"M. Shub","year":"1986","unstructured":"Shub M. (1986). Global Stability of Dynamical Systems. Springer, Heidelberg"},{"key":"37_CR23","doi-asserted-by":"crossref","unstructured":"Smirnov, G.V.: Introduction to the Theory of Differential Inclusion. AMS (2002)","DOI":"10.1090\/gsm\/041"},{"key":"37_CR24","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/j.tcs.2006.02.012","volume":"356","author":"R. van Glabbeek","year":"2006","unstructured":"van Glabbeek R. (2006). On the expressiveness of higher dimensional automata. Theoret. Comput. Sci. 356: 265\u2013290","journal-title":"Theoret. Comput. Sci."},{"key":"37_CR25","unstructured":"Wisniewski R.: Flow Lines under Perturbations within Section Cones. Ph.D. Thesis, Aalborg University (2005)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-006-0037-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-006-0037-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-006-0037-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:41:54Z","timestamp":1558705314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-006-0037-5"}},"subtitle":["Towards a geometric analysis of concurrent systems"],"short-title":[],"issued":{"date-parts":[[2007,1,13]]},"references-count":25,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2007,1,29]]}},"alternative-id":["37"],"URL":"https:\/\/doi.org\/10.1007\/s00236-006-0037-5","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,13]]}}}