Emergence and refinement

DOI10.1007/s00165-011-0190-7zbMath1242.68170MaRDI QIDQ432157

J. Herrera, H. S. Yoon

Publication date: 3 July 2012

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0190-7

zbMATH Keywords

cellular automata; refinement; emergence; game of life

Mathematics Subject Classification ID

68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)

68Q60: Specification and verification (program logics, model checking, etc.)

68Q80: Cellular automata (computational aspects)