{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:22:46Z","timestamp":1725488566620},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443117"},{"type":"electronic","value":"9783540458333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45833-6_12","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T10:25:53Z","timestamp":1186827953000},"page":"137-150","source":"Crossref","is-referenced-by-count":16,"title":["Data Structure as Topological Spaces"],"prefix":"10.1007","author":[{"given":"Jean-Louis","family":"Giavitto","sequence":"first","affiliation":[]},{"given":"Olivier","family":"Michel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00024-Q","volume":"149","author":"P. Buneman","year":"1995","unstructured":"Peter Buneman, Shamim Naqvi, Val Tannen, and Limsoon Wong. Principles of programming with complex objects and collection types. Theoretical Computer Science, 149(1):3\u201348, 18 September 1995.","journal-title":"Theoretical Computer Science"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"P. Fradet and D. Le Metayer. Shape types. In Proc. of Principles of Programming Languages, Paris, France, Jan. 1997. ACM Press.","DOI":"10.1145\/263699.263706"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0303-2647(99)00086-6","volume":"55","author":"M. Fisher","year":"2000","unstructured":"Michael Fisher, Grant Malcolm, and Raymond Paton. Spatio-logical processes in intracellular signalling. BioSystems, 55:83\u201392, 2000.","journal-title":"BioSystems"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Jacques Garrigue and H. \u00c4-Kaci. The typed polymorphic label-selective lambda-calculus. In Principles of Programming Languages, Portland, 1994.","DOI":"10.1145\/174675.174434"},{"key":"12_CR5","unstructured":"J.-L. Giavitto, C. Godin, O. Michel, and P. Prusinkiewicz. Biological Modeling in the Genomic Context, chapter Computational Models for Integrative and Developmental Biology. Hermes, July 2002."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Jean-Louis Giavitto. A framework for the recursive definition of data structures. In Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP00), pages 45\u201355. ACM Press, September 20\u201323 2000.","DOI":"10.1145\/351268.351275"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"E. Goubault and T. P. Jensen. Homology of higher-dimensional automata. In Proc. of CONCUR\u201992, Stonybrook, August 1992. Springer-Verlag.","DOI":"10.1007\/BFb0084796"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"J.-L. Giavitto and O. Michel. Declarative definition of group indexed data structures and approximation of their domains. In Proceedings of the 3nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP-01). ACM Press, September 2001.","DOI":"10.1145\/773184.773201"},{"key":"12_CR9","unstructured":"J.-L. Giavitto and O. Michel. MGS: a programming language for the transformations of topological collections. Technical Report 61-2001, LaMI \u2014 Universit\u00e9 d\u00c9vry Val d\u2019Essonne, May 2001. 85p."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Jean-Louis Giavitto and Olivier Michel. Mgs: a rule-based programming language for complex objects and collections. In Mark van den Brand and Rakesh Verma, editors, Electronic Notes in Theoretical Computer Science, volume 59. Elsevier Science Publishers, 2001.","DOI":"10.1016\/S1571-0661(04)00293-2"},{"key":"12_CR11","first-page":"107","volume":"49","author":"J.-L. Giavitto","year":"2002","unstructured":"J.-L. Giavitto and O. Michel. The topological structures of membrane computing. Fundamenta Informaticae, 49:107\u2013129, 2002.","journal-title":"Fundamenta Informaticae"},{"key":"12_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BFb0023063","volume-title":"Parallel Symbolic Languages and Systems (International Workshop PSLS\u201995)","author":"J.-L. Giavitto","year":"1995","unstructured":"J.-L. Giavitto, O. Michel, and J.-P. Sansonnet. Group based fields. In I. Takayasu, R.H. Jr. Halstead, and C. Queinnec, editors, Parallel Symbolic Languages and Systems (International Workshop PSLS\u201995), volume 1068 of Lecture Notes in Computer Sciences, pages 209\u2013215, Beaune (France), 2\u20134 October 1995. Springer."},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0010-4485(91)90082-8","volume":"23","author":"P. Lienhardt","year":"1991","unstructured":"P. Lienhardt. Topological models for boundary representation: a comparison with n-dimensional generalized maps. Computer-Aided Design, 23(1):59\u201382, 1991.","journal-title":"Computer-Aided Design"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/0022-5193(68)90079-9","volume":"18","author":"A. Lindenmayer","year":"1968","unstructured":"A. Lindenmayer. Mathematical models for cellular interaction in development, Parts I and II. Journal of Theoretical Biology, 18:280\u2013315, 1968.","journal-title":"Journal of Theoretical Biology"},{"key":"12_CR15","unstructured":"B. Lisper. On the relation between functional and data-parallel programming languages. In Proc. of the 6th. Int. Conf. on Functional Languages and Computer Architectures. ACM, ACM Press, June 1993."},{"key":"12_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"5th ACM Conference on Functional Programming Languages and Computer Architecture","author":"E. Meijer","year":"1991","unstructured":"E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. In 5th ACM Conference on Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 124\u2013144, Cambridge, MA, August 26\u201330, 1991. Springer, Berlin."},{"key":"12_CR17","unstructured":"O. Michel. Repr\u00e9sentations dynamiques de l\u2019espace dans un langage d\u00e9claratif de simulation. PhD thesis, Universit\u00e9 de Paris-Sud, Centre d\u2019Orsay, December 1996. N\u22184596, (in french)."},{"key":"12_CR18","unstructured":"G. Paun. From cells to computers: Computing with membranes (P systems). In Workshop on Grammar Systems, Bad Ischl, Austria, July 2000."},{"issue":"1\u20132","key":"12_CR19","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0304-3975(94)90236-4","volume":"132","author":"Z. R\u00f3ka","year":"1994","unstructured":"Zsuzsanna R\u00f3ka. One-way cellular automata on Cayley graphs. Theoretical Computer Science, 132(1\u20132):259\u2013290, 26 September 1994.","journal-title":"Theoretical Computer Science"},{"volume-title":"Symposium on Information Theory in Biology","year":"1958","key":"12_CR20","unstructured":"Hubert P. Yockey, Robert P. Platzman, and Henry Quastler, editors. Symposium on Information Theory in Biology. Pergamon Press, New York, London, 1958."}],"container-title":["Lecture Notes in Computer Science","Unconventional Models of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45833-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:06:43Z","timestamp":1556752003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45833-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443117","9783540458333"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45833-6_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}