The structural operational semantics approach to the dynamic meaning of formal models has been immensely influential as a foundation of both theoretical calculi and practical programming languages, and is a viable alternative to automata-oriented approaches. We report on an effort to apply the approach to cellular automata, in particular of the two-dimensional, regular finite grid kind that underlies many agent-based simulation models. We summarize previous, intensively category-theoretic work in more general terms, and discuss how various interesting properties are made (more) explicit by the semantical analysis of cellular automata in terms of novel mathematical structures. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Widemann, B. T. Y. (2012). Structural operational semantics for cellular automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7495 LNCS, pp. 184–193). Springer Verlag. https://doi.org/10.1007/978-3-642-33350-7_19
Mendeley helps you to discover research relevant for your work.