at Google ScholarTitle data
Trancón y Widemann, Baltasar:
Structural operational semantics for cellular automata.
In:
Sirakoulis, Georgios Ch. ; Bandini, Stefania (Hrsg.): Cellular automata : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24 - 27, 2012 ; proceedings. -
Berlin
: Springer
,
2012
. - pp. 184-193
. - (Lecture Notes in Computer Science
; 7495
)
DOI: https://doi.org/10.1007/978-3-642-33350-7_19
Abstract in another language
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.
Further data
| Item Type: | Article in a book |
|---|---|
| Refereed: | Yes |
| Additional notes: | BAYCEER113951 |
| Institutions of the University: | Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences > Chair Ecological Modelling Research Institutions > Research Centres > Bayreuth Center of Ecology and Environmental Research- BayCEER Faculties Faculties > Faculty of Biology, Chemistry and Earth Sciences Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences Research Institutions Research Institutions > Research Centres |
| Result of work at the UBT: | Yes |
| DDC Subjects: | 500 Science |
| Date Deposited: | 06 Jul 2015 10:24 |
| Last Modified: | 07 Jun 2016 11:56 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/15830 |