Titlebar

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

 

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

Title data

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 . - pp. 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 in another language

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.

Further data

Item Type: Article in a book
Refereed: Yes
Additional notes: BAYCEER113957
Institutions of the University: Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences > Chair Ecological Modelling
Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences > Chair Ecological Modelling > Chair Ecological Modelling - Univ.-Prof. Dr. Michael Hauhs
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:25
Last Modified: 07 Jun 2016 11:48
URI: https://eref.uni-bayreuth.de/id/eprint/15860