{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:38:40Z","timestamp":1775003920623,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540278849","type":"print"},{"value":"9783540314820","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11527800_11","type":"book-chapter","created":{"date-parts":[[2011,1,12]],"date-time":"2011-01-12T14:20:04Z","timestamp":1294842004000},"page":"137-152","source":"Crossref","is-referenced-by-count":20,"title":["Computations in Space and Space in Computations"],"prefix":"10.1007","author":[{"given":"Jean-Louis","family":"Giavitto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Michel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoine","family":"Spicher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","first-page":"153","volume":"76","author":"J. Arulanandham","year":"2002","unstructured":"Arulanandham, J., Calude, C., Dinneen, M.: Bead-sort: A natural sorting algorithm. Bulletin of the European Association for Theoretical Computer Science\u00a076, 153\u2013162 (2002) (Technical Contributions)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J.-P. Banatre","year":"1988","unstructured":"Banatre, J.-P., Coutant, A., Metayer, D.L.: A parallel machine for multiset transformation and its programming style. Future Generation Computer Systems\u00a04, 133\u2013144 (1988)","journal-title":"Future Generation Computer Systems"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45523-X_2","volume-title":"Multiset Processing","author":"J.-P. Ban\u00e2tre","year":"2001","unstructured":"Ban\u00e2tre, J.-P., Fradet, P., M\u00e9tayer, D.L.: Gamma and the chemical reaction model: Fifteen years after. In: Calude, C.S., Pun, G., Rozenberg, G., Salomaa, A. (eds.) Multiset Processing. LNCS, vol.\u00a02235, pp. 17\u201344. Springer, Heidelberg (2001)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/96709.96717","volume-title":"Conf. Record 17th ACM Symp. on Principles of Programmming Languages, POPL 1990","author":"G. Berry","year":"1990","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. In: Conf. Record 17th ACM Symp. on Principles of Programmming Languages, POPL 1990, San Francisco, CA, USA, January 17-19, 1990, pp. 81\u201394. ACM Press, New York (1990)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0024-3795(91)90021-N","volume":"146","author":"R.W. Brockett","year":"1991","unstructured":"Brockett, R.W.: Dynamical systems that sort lists, diagonalize matrices, and solve linear programming problems. Linear Algebra and its Applications\u00a0146, 79\u201391 (1991)","journal-title":"Linear Algebra and its Applications"},{"issue":"2\u20133","key":"11_CR6","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0167-6423(90)90017-8","volume":"14","author":"K.M. Chandy","year":"1990","unstructured":"Chandy, K.M.: Reasoning about continuous systems. Science of Computer Programming\u00a014(2\u20133), 117\u2013132 (1990)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"E.G. Coffman","year":"1971","unstructured":"Coffman, E.G., Elphick, M.J., Shoshani, A.: System deadlocks. Computing Surveys\u00a03(2), 67\u201378 (1971)","journal-title":"Computing Surveys"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Cohen, J.: Typing rule-based transformations over topological collections. In: Giavitto, J.-L., Moreau, P.-E. (eds.) 4th International Workshop on Rule-Based Programming (RULE 2003), pp. 50\u201366 (2003)","DOI":"10.1016\/S1571-0661(04)80676-5"},{"key":"11_CR9","unstructured":"Cohen, J.: Typage fort et typage souple des collections topologiques et des transformations. In: M\u00e9nissier-Morain, V. (ed.) Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2004), pp. 37\u201354, INRIA (2004)"},{"issue":"2\u20133","key":"11_CR10","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/S0167-6423(97)00023-3","volume":"31","author":"P. Fradet","year":"1998","unstructured":"Fradet, P., M\u00e9tayer, D.L.: Structured Gamma. Science of Computer Programming\u00a031(2\u20133), 263\u2013289 (1998)","journal-title":"Science of Computer Programming"},{"key":"11_CR11","volume-title":"Proc. of Principles of Programming Languages","author":"P. Fradet","year":"1997","unstructured":"Fradet, P., M\u00e9tayer, D.L.: Shape types. In: Proc. of Principles of Programming Languages, Paris, France, January 1997. ACM Press, New York (1997)"},{"key":"11_CR12","first-page":"230","volume":"57","author":"F. Geurts","year":"1995","unstructured":"Geurts, F.: Hierarchy of discrete-time dynamical systems, a survey. Bulletin of the European Association for Theoretical Computer Science\u00a057, 230\u2013251 (1995) (Surveys and Tutorials)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/351268.351275","volume-title":"ACM-Sigplan 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000)","author":"J.-L. Giavitto","year":"2000","unstructured":"Giavitto, J.-L.: A framework for the recursive definition of data structures. In: ACM-Sigplan 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000), Montr\u00e9al, September 2000, pp. 45\u201355. ACM press, New York (2000)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-44881-0_16","volume-title":"Rewriting Techniques and Applications","author":"J.-L. Giavitto","year":"2003","unstructured":"Giavitto, J.-L.: Invited talk: Topological collections, transformations and their application to the modeling and the simulation of dynamical systems. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 208\u2013233. Springer, Heidelberg (2003)"},{"key":"11_CR15","unstructured":"Giavitto, J.-L., Godin, C., Michel, O., Prusinkiewicz, P.: Computational Models for Integrative and Developmental Biology. In: Modelling and Simulation of biological processes in the context of genomics, Hermes (July 2002) (Also republished as an high-level course in the proceedings of the Dieppe spring school on Modelling and simulation of biological processes in the context of genomics, May 12-17, 2003, Dieppes, France)"},{"key":"11_CR16","volume-title":"Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001)","author":"J.-L. Giavitto","year":"2001","unstructured":"Giavitto, J.-L., Michel, O.: Declarative definition of group indexed data structures and approximation of their domains. In: Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001), September 2001, ACM Press, New York (2001)"},{"key":"11_CR17","volume-title":"Electronic Notes in Theoretical Computer Science","author":"J.-L. Giavitto","year":"2001","unstructured":"Giavitto, J.-L., Michel, O.: Mgs: a rule-based programming language for complex objects and collections. In: van den Brand, M., Verma, R. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a059. Elsevier Science, Amsterdam (2001)"},{"key":"11_CR18","unstructured":"Giavitto, J.-L., Michel, O.: MGS: a programming language for the transformations of topological collections. Technical Report 61-2001, LaMI \u2013 Universit\u00e9 d\u2019\u00c9vry Val d\u2019Essonne (May 2001)"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-45833-6_12","volume-title":"Unconventional Models of Computation","author":"J.-L. Giavitto","year":"2002","unstructured":"Giavitto, J.-L., Michel, O.: Data structure as topological spaces. In: Calude, C.S., Dinneen, M.J., Peper, F. (eds.) UMC 2002. LNCS, vol.\u00a02509, pp. 137\u2013150. Springer, Heidelberg (2002)"},{"key":"11_CR20","first-page":"107","volume":"49","author":"J.-L. Giavitto","year":"2002","unstructured":"Giavitto, J.-L., Michel, O.: The topological structures of membrane computing. Fundamenta Informaticae\u00a049, 107\u2013129 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BFb0023063","volume-title":"Parallel Symbolic Languages and Systems","author":"J.-L. Giavitto","year":"1996","unstructured":"Giavitto, J.-L., Michel, O., Sansonnet, J.-P.: Group based fields. In: Queinnec, C., Halstead Jr., R.H., Ito, T. (eds.) PSLS 1995. LNCS, vol.\u00a01068, pp. 209\u2013215. Springer, Heidelberg (1996)"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1017\/S0960129500003133","volume":"10","author":"E. Goubault","year":"2000","unstructured":"Goubault, E.: Geometry and concurrency: A user\u2019s guide. Mathematical Structures in Computer Science\u00a010, 411\u2013425 (2000)","journal-title":"Mathematical Structures in Computer Science"},{"key":"11_CR23","unstructured":"Granger, G.-G.: La pens\u00e9e de l\u2019espace. Odile Jacob (1999)"},{"key":"11_CR24","volume-title":"A combinatorial introduction to topology","author":"M. Henle","year":"1994","unstructured":"Henle, M.: A combinatorial introduction to topology. Dover publications, Mineola (1994)"},{"issue":"2\u20133","key":"11_CR25","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0167-6423(95)00015-1","volume":"25","author":"C.B. Jay","year":"1995","unstructured":"Jay, C.B.: A semantics for shape. Science of Computer Programming\u00a025(2\u20133), 251\u2013283 (1995)","journal-title":"Science of Computer Programming"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Jeuring, J., Jansson, P.: AFP 1996. LNCS, vol.\u00a01129, pp. 68\u2013114 (1996)","DOI":"10.1007\/3-540-61628-4_3"},{"issue":"1","key":"11_CR27","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0010-4485(91)90082-8","volume":"23","author":"P. Lienhardt","year":"1991","unstructured":"Lienhardt, P.: Topological models for boundary representation: a comparison with n-dimensional generalized maps. Computer-Aided Design\u00a023(1), 59\u201382 (1991)","journal-title":"Computer-Aided Design"},{"key":"11_CR28","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/0022-5193(68)90079-9","volume":"18","author":"A. Lindenmayer","year":"1968","unstructured":"Lindenmayer, A.: Mathematical models for cellular interaction in development, Parts I and II. Journal of Theoretical Biology\u00a018, 280\u2013315 (1968)","journal-title":"Journal of Theoretical Biology"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Functional Programming Languages and Computer Architecture","author":"E. Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M., Paterson, R.: Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol.\u00a0523, pp. 124\u2013144. Springer, Heidelberg (1991)"},{"key":"11_CR30","series-title":"Natural Computing Series","first-page":"281","volume-title":"An Analysis of a Public-Key Protocol with Membranes","author":"O. Michel","year":"2005","unstructured":"Michel, O., Jacquemard, F.: An Analysis of a Public-Key Protocol with Membranes. Natural Computing Series, pp. 281\u2013300. Springer, Heidelberg (2005)"},{"issue":"3","key":"11_CR31","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0303-2647(00)00143-X","volume":"59","author":"G. Paun","year":"2001","unstructured":"Paun, G.: From cells to computers: Computing with membranes (P systems). Biosystems\u00a059(3), 139\u2013158 (2001)","journal-title":"Biosystems"},{"key":"11_CR32","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-642-58117-5_12","volume-title":"Lindenmayer Systems, Impacts on Theoretical Computer Science, Computer Graphics and Developmental Biology","author":"P. Prusinkiewicz","year":"1992","unstructured":"Prusinkiewicz, P., Hanan, J.: L\u00a0systems: from formalism to programming languages. In: Ronzenberg, G., Salomaa, A. (eds.) Lindenmayer Systems, Impacts on Theoretical Computer Science, Computer Graphics and Developmental Biology, Febraury 1992, pp. 193\u2013211. Springer, Heidelberg (1992)"},{"issue":"1\u20132","key":"11_CR33","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0304-3975(94)90236-4","volume":"132","author":"Z. R\u00f3ka","year":"1994","unstructured":"R\u00f3ka, Z.: One-way cellular automata on Cayley graphs. Theoretical Computer Science\u00a0132(1\u20132), 259\u2013290 (1994)","journal-title":"Theoretical Computer Science"},{"key":"11_CR34","series-title":"LNCS","first-page":"349","volume-title":"Research directions in high-level programming languages","author":"M. Sintzoff","year":"1991","unstructured":"Sintzoff, M.: Invariance and contraction by infinite iterations of relations. In: Research directions in high-level programming languages, Mont Saint-Michel, France, June 1991. LNCS, vol.\u00a0574, pp. 349\u2013373. Springer, Heidelberg (1991)"},{"key":"11_CR35","doi-asserted-by":"publisher","first-page":"923","DOI":"10.1007\/BF00673986","volume":"30","author":"R.D. Sorkin","year":"1991","unstructured":"Sorkin, R.D.: A finitary substitute for continuous topology. Int. J. Theor. Phys.\u00a030, 923\u2013948 (1991)","journal-title":"Int. J. Theor. Phys."},{"key":"11_CR36","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-540-30479-1_25","volume-title":"Cellular Automata","author":"A. Spicher","year":"2004","unstructured":"Spicher, A., Michel, O., Giavitto, J.-L.: A topological framework for the specification and the simulation of discrete dynamical systems. In: Sloot, P.M.A., Chopard, B., Hoekstra, A.G. (eds.) ACRI 2004. LNCS, vol.\u00a03305, pp. 238\u2013247. Springer, Heidelberg (2004)"},{"key":"11_CR37","unstructured":"The MAUDE project. Maude home page (2002), http:\/\/maude.csl.sri.com\/"},{"key":"11_CR38","unstructured":"The PROTHEO project. Elan home page (2002), http:\/\/www.loria.fr\/equipes\/protheo\/SOFTWARES\/ELAN\/"},{"key":"11_CR39","volume-title":"The Classical Groups (their invariants and representations)","author":"H. Weyl","year":"1939","unstructured":"Weyl, H.: The Classical Groups (their invariants and representations). Princeton University Press, Princeton (1939); Reprint edition (October 13, 1997) ISBN 0691057567"}],"container-title":["Lecture Notes in Computer Science","Unconventional Programming Paradigms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11527800_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:42Z","timestamp":1605643662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11527800_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278849","9783540314820"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/11527800_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}