Structural Operational Semantics for Cellular Automata.
Baltasar Trancón y WidemannPublished in: ACRI (2012)
Keyphrases
- cellular automata
- operational semantics
- formal semantics
- cellular automaton
- cellular automata model
- activity diagrams
- mental states
- denotational semantics
- model theoretic
- discrete dynamical systems
- data model
- chaotic dynamics
- galois field
- path planner
- pattern formation
- potts model
- agent programming
- initial conditions
- programming language
- database systems
- artificial intelligence