bei Google ScholarTitelangaben
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
. - S. 184-193
. - (Lecture Notes in Computer Science
; 7495
)
DOI: https://doi.org/10.1007/978-3-642-33350-7_19
Abstract
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.
Weitere Angaben
| Publikationsform: | Aufsatz in einem Buch |
|---|---|
| Begutachteter Beitrag: | Ja |
| Zusätzliche Informationen: | BAYCEER113951 |
| Institutionen der Universität: | Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften > Fachgruppe Geowissenschaften > Lehrstuhl Ökologische Modellbildung Forschungseinrichtungen > Forschungszentren > Bayreuther Zentrum für Ökologie und Umweltforschung - BayCEER Fakultäten Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften > Fachgruppe Geowissenschaften Forschungseinrichtungen Forschungseinrichtungen > Forschungszentren |
| Titel an der UBT entstanden: | Ja |
| Themengebiete aus DDC: | 500 Naturwissenschaften und Mathematik |
| Eingestellt am: | 06 Jul 2015 10:24 |
| Letzte Änderung: | 07 Jun 2016 11:56 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/15830 |