Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

Structural operational semantics for cellular automata

Title 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