Spatial Computing in MGS

  • Antoine Spicher
  • Olivier Michel
  • Jean-Louis Giavitto
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7445)


This short paper motivates and introduces the tutorial on MGS and spatial computing presented at UCNC 2012.


unconventional programming paradigm spatial computing MGS topological collection topological rewriting dynamical systems with a dynamical structure 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Banâtre, J.-P., Fradet, P., Le Métayer, D.: Gamma and the Chemical Reaction Model: Fifteen Years After. In: Calude, C.S., Pun, G., Rozenberg, G., Salomaa, A. (eds.) Multiset Processing. LNCS, vol. 2235, pp. 17–44. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  2. 2.
    Barbier de Reuille, P., Bohn-Courseau, I., Ljung, K., Morin, H., Carraro, N., Godin, C., Traas, J.: Computer simulations reveal properties of the cell-cell signaling network at the shoot apex in Arabidopsis. PNAS 103(5), 1627–1632 (2006)CrossRefGoogle Scholar
  3. 3.
    Beal, J., Dulman, S., Usbeck, K., Viroli, M., Correll, N.: Organizing the aggregate: Languages for spatial computing. CoRR, abs/1202.5509 (2012),
  4. 4.
    Bigo, L., Giavitto, J.-L., Spicher, A.: Building Topological Spaces for Musical Objects. In: Agon, C., Andreatta, M., Assayag, G., Amiot, E., Bresson, J., Mandereau, J. (eds.) MCM 2011. LNCS, vol. 6726, pp. 13–28. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  5. 5.
    Coffman, E.G., Elphick, M.J., Shoshani, A.: System deadlocks. Computing Surveys 3(2), 67–78 (1971)zbMATHCrossRefGoogle Scholar
  6. 6.
    De Hon, A., Giavitto, J.-L., Gruau, F. (eds.): Computing Media and Languages for Space-Oriented Computation, Dagsthul, September 3-8. Dagsthul Seminar Proceedings, vol. 06361 (2006),
  7. 7.
    Felleisen, M.: On the expressive power of programming languages. Science of Computer Programming 17(1-3), 35–75 (1991)MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Giavitto, J.-L.: The Modeling and the Simulation of the Fluid Machines of Synthetic Biology. In: Gheorghe, M., Păun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 19–34. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  9. 9.
    Giavitto, J.-L., Klaudel, H., Pommereau, F.: Integrated regulatory networks (irns): Spatially organized biochemical modules. Theoretical Computer Science 431(0), 219–234 (2012)zbMATHCrossRefGoogle Scholar
  10. 10.
    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. 59. Elsevier Science (2001)Google Scholar
  11. 11.
    Giavitto, J.-L., Michel, O.: Data Structure as Topological Spaces. In: Calude, C.S., Dinneen, M.J., Peper, F. (eds.) UMC 2002. LNCS, vol. 2509, pp. 137–150. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  12. 12.
    Giavitto, J.-L., Michel, O.: The topological structures of membrane computing. Fundamenta Informaticae 49, 107–129 (2002)MathSciNetGoogle Scholar
  13. 13.
    Giavitto, J.-L., Michel, O., Cohen, J., Spicher, A.: Computations in Space and Space in Computations. In: Banâtre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol. 3566, pp. 137–152. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  14. 14.
    Giavitto, J.-L., Michel, O., Spicher, A.: Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems. In: Wirsing, M., Banâtre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) Soft-Ware Intensive Systems. LNCS, vol. 5380, pp. 235–254. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  15. 15.
    Giavitto, J.-L., Spicher, A.: Simulation of self-assembly processes using abstract reduction systems. In: Systems Self-Assembly: Multidisciplinary Snapshots, pp. 199–223. Elsevier (2008), doi:10.1016/S1571-0831(07)00009-3Google Scholar
  16. 16.
    Giavitto, J.-L., Spicher, A.: Topological rewriting and the geometrization of programming. Physica D 237(9), 1302–1314 (2008)MathSciNetzbMATHCrossRefGoogle Scholar
  17. 17.
    Jeuring, J., Jansson, P.: Polytypic Programming. In: Launchbury, J., Meijer, E., Sheard, T. (eds.) AFP 1996. LNCS, vol. 1129, pp. 68–114. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  18. 18.
    Michel, O., Spicher, A., Giavitto, J.-L.: Rule-based programming for integrative biological modeling – application to the modeling of the λ phage genetic switch. Natural Computing 8(4), 865–889 (2009)MathSciNetzbMATHCrossRefGoogle Scholar
  19. 19.
    Mitchell, J.C.: On abstraction and the expressive power of programming languages. In: TACS 1991: Selected Papers of the Conference on Theoretical Aspects of Computer Software, pp. 141–163. Elsevier Science Publishers B.V., Amsterdam (1993)Google Scholar
  20. 20.
    Păun, G.: From cells to computers: computing with membranes (P systems). Biosystems 59(3), 139–158 (2001)CrossRefGoogle Scholar
  21. 21.
    Rozenberg, G., Salomaa, A.: Lindenmayer Systems. Springer, Berlin (1992)zbMATHCrossRefGoogle Scholar
  22. 22.
    Spicher, A., Michel, O.: Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling. In: Sunderam, V.S., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2005, Part I. LNCS, vol. 3514, pp. 820–827. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  23. 23.
    Spicher, A., Michel, O.: Declarative modeling of a neurulation-like process. BioSystems 87(2-3), 281–288 (2007)CrossRefGoogle Scholar
  24. 24.
    Spicher, A., Michel, O., Cieslak, M., Giavitto, J.-L., Prusinkiewicz, P.: Stochastic p systems and the simulation of biochemical processes with dynamic compartments. BioSystems 91(3), 458–472 (2008)CrossRefGoogle Scholar
  25. 25.
    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. 3305, pp. 238–247. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  26. 26.
    Spicher, A., Michel, O., Giavitto, J.-L.: Interaction-Based Simulations for Integrative Spatial Systems Biology. In: Understanding the Dynamics of Biological Systems: Lessons Learned from Integrative Systems Biology. Springer (February 2011)Google Scholar
  27. 27.
    Von Neumann, J.: Theory of Self-Reproducing Automata. Univ. of Illinois Press (1966)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Antoine Spicher
    • 1
  • Olivier Michel
    • 1
  • Jean-Louis Giavitto
    • 2
  1. 1.LACL, Université Paris-Est CréteilCréteilFrance
  2. 2.UMR 9912 STMS – Ircam & CNRS, UPMC, INRIAParisFrance

Personalised recommendations