Trancón y Widemann, B; Hauhs, M: Distributive-Law Semantics for Cellular Automata and Agent- Based Models, Lecture Notes in Computer Science, 6859, 344-358 (2011), doi:10.1007/978-3-642-22944-2_24
Abstract:
We present an effort to give formal semantics to the popular but 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 and distributive 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 prove the equivalence to a more traditional, array-based formalization.
Upcoming ...


BayCEER Colloquium:
Th. 2020-12-03
An engineered (water) future?
Th. 2020-12-10
Investigating communal pathogen defense and its role in social evolution
Ecological-Botanical Garden:
Th. 2020-12-03
Entfällt: Ökumenische Andacht zum Advent mit dem Swahili Chor Bayreuth (KHG & ESG)
Su. 2020-12-06
Entfällt: Führung nach Anmeldung: Zimt & Mandelkern: Pflanzen in der Weihnachtsbäckerei
Geographisches Kolloquium:
Tu. 2020-12-08
People, pathogens, places: where medical geography meets disease ecology?
BayCEER Blog
13.01.2020
Why Science Communication?
24.05.2019
Stoichiometric controls of C and N cycling
07.05.2019
Flying halfway across the globe to dig in the dirt – a research stay in Bloomington, USA
16.04.2019
Picky carnivorous plants?
RSS Blog as RSS Feed
Weather research site
Luftdruck (356m): 982.0 hPa
Lufttemperatur: -2.0 °C
Niederschlag: 0.0 mm/24h
Sonnenschein: <1 h/d
Wind (Höhe 17m): 3.6 km/h
Wind (Max.): 5.4 km/h
Windrichtung: SW

...more
Globalstrahlung: -5 W/m²
Lufttemperatur: -2.6 °C
Niederschlag: 0.0 mm/24h
Sonnenschein: <1 h/d
Wind (Höhe 32m): 0.0 km/h

...more
This site makes use of cookies More information