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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-22944-2_24 | CALCO |
Keywords | Field | DocType |
distributive law,structural operational semantics,temporal behavior,local interaction,generic formalization,local behavior,generic distributive law,agent-based model,cellular automaton,abstract basis,array-based formalization,distributive-law semantics,formal semantics | Distributive property,Discrete mathematics,Cellular automaton,Operational semantics,Functional programming,Computer science,Automaton,Scientific modelling,Equivalence (measure theory),Semantics | Conference |
Citations | PageRank | References |
3 | 0.49 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Baltasar Trancón y Widemann | 1 | 33 | 9.61 |
Michael Hauhs | 2 | 6 | 3.70 |