at Google ScholarTitle 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 |