Literatur vom gleichen Autor/der gleichen Autor*in
plus bei Google Scholar

Bibliografische Daten exportieren
 

Structural operational semantics for cellular automata

Titelangaben

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