A topological framework for the specification and the simulation of discrete dynamical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3305, Issue , 2004, Pages 238-247

  Spicher, Antoine ^a   Michel, Olivier ^a   Giavitto, Jean Louis ^a  

^a UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AGGLOMERATION; CELLULAR AUTOMATA; COMPUTATIONAL LINGUISTICS; DYNAMICAL SYSTEMS; INDUSTRIAL RESEARCH; SPECIFICATIONS; TOPOLOGY;

CHEMICAL PROCESS; DIFFUSION LIMITED AGGREGATION; DISCRETE DYNAMICAL SYSTEMS; INTERACTION STRUCTURES; MODEL APPROACH; TOPOLOGICAL APPROACH; TOPOLOGICAL NOTIONS;

MODELING LANGUAGES;

EID: 35048904148     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30479-1_25     Document Type: Article

References (15)

1. [BFM01] Jean-Pierre Banâtre, Pascal Fradet, and Daniel Le Métayer. Gamma and the chemical reaction model: Fifteen years after. Lecture Notes in Computer Science, 2235:17-??, 2001.
2. [Gia03] J.-L. Giavitto. Invited talk: Topological collections, transformations and their application to the modeling and the simulation of dynamical systems. In Rewriting Technics and Applications (RTA'03), volume LNCS 2706 of LNCS, pages 208-233, Valencia, June 2003. Springer.
3. [GM01] 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.
4. [GM02] J.-L. Giavitto and O. Michel. The topological structures of membrane computing. Fundamenta Informaticae, 49:107-129, 2002.
5. [GM03] J.-L. Giavitto and O. Michel. Modeling the topological organization of cellular processes. BioSystems, 70(2):149-163, 2003.
6. [GMM04] J.-L. Giavitto, G. Malcolm, and O. Michel. Rewriting systems and the modelling of biological systems. Comparative and Functional Genomics, 5:95-99, February 2004.
7. [GMS95] 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'95), volume 1068 of LNCS, pages 209-215, Beaune (France), 2-4 October 1995. Springer-Verlag.
8. [Ler96] X. Leroy. The Objective Caml system, 1996. Software and documentation available on the web at http://pauillac.inria.fr/ocaml/.
9. [Lie91] P. Lienhardt. Topological models for boundary representation : a comparison with n-dimensional generalized maps. Computer-Aided Design, 23(1):59-82, 1991.
10. [Lin68] A. Lindenmayer. Mathematical models for cellular interaction in development, Parts I and II. Journal of Theoretical Biology, 18:280-315, 1968.
11. [Mun84] James Munkres. Elements of Algebraic Topology. Addison-Wesley, 1984.
12. [Rók94] Zsuzsanna Róka. One-way cellular automata on Cayley graphs. Theoretical Computer Science, 132(1-2):259-290, 26 September 1994.
13. [Sha90] Igor' Shafarevich. Basic Notions of Algebra. Springer, 1990.
14. [TM87] T. Toffoli and N. Margolus. Cellular automata machines: a new environment for modeling. MIT Press, Cambridge, 1987.
15. Ton74] Enzo Tonti. The algebraic-topological structure of physical theories. In P. G. Glockner and M. C. sing, editors, Symmetry, similarity and group theoretic methods in mechanics, pages 441-467, Calgary, Canada, August 1974.