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

Bibliografische Daten exportieren
 

Distributive-Law Semantics for Cellular Automata and Agent-Based Models

Titelangaben

Trancón y Widemann, Baltasar ; Hauhs, Michael:
Distributive-Law Semantics for Cellular Automata and Agent-Based Models.
In: Corradini, Andreas ; Klin, Bartek ; Cîrstea, Corina (Hrsg.): Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 ; proceedings. - Berlin : Springer , 2011 . - S. 344-358 . - (Lecture Notes in Computer Science ; 6859 )
ISBN 978-3-642-22944-2
DOI: https://doi.org/10.1007/978-3-642-22944-2_24

Abstract

We present an effort to give formal semantics to the popularbut theoretically rather unreflected scientific modelling paradigm of agent- or individual-based models. To this end, we give a generic formalization of two-dimensional cellular automata with flexible topology as the abstract basis of such models. The semantic approach of structural operational semantics a la Turi and Plotkin [7], based on bialgebras anddistributive laws, leads in this case to a natural separation of the concerns of spatial structure, temporal behavior and local interaction. We give a generic distributive law for local behavior of automata and provethe equivalence to a more traditional, array-based formalization.

Weitere Angaben

Publikationsform: Aufsatz in einem Buch
Begutachteter Beitrag: Ja
Zusätzliche Informationen: BAYCEER113957
Institutionen der Universität: Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften > Fachgruppe Geowissenschaften > Lehrstuhl Ökologische Modellbildung
Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften > Fachgruppe Geowissenschaften > Lehrstuhl Ökologische Modellbildung > Lehrstuhl Ökologische Modellbildung - Univ.-Prof. Dr. Michael Hauhs
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:25
Letzte Änderung: 07 Jun 2016 11:48
URI: https://eref.uni-bayreuth.de/id/eprint/15860