| 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. |
Aktuelle Termine
Aktuelle Termine
| BayCEER-Kolloquium: |
|---|
| Do. 25.04.2024 Perspectives and challenges in the restoration and conservation of two isolated habitats: gypsum and cliffs |
| BayCEER Short Courses: |
| Mi. 24.04.2024 aktuell Mobile Film Making Workshop (for PhDs/PostDosc/Profs of BayCEER) |
| Fr. 26.04.2024 Mobile Film Making Workshop (for students of BayCEER) |
| Ökologisch-Botanischer Garten: |
| Fr. 26.04.2024 Aktion | Kräuterreich & regional: Backkunst im ÖBG (zus. mit HWK) |
| Fr. 26.04.2024 Führung | Erdbeer-Minze und Zimmerknoblauch: Gewürzkräuter |