Emergence and refinement

DOI10.1007/S00165-011-0190-7zbMath1242.68170OpenAlexW2032982949MaRDI 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 automatarefinementemergencegame of life

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60) Cellular automata (computational aspects) (68Q80)

Related Items (1)

Modelling and analysing neural networks using a hybrid process algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the mathematics of emergence
• Software-intensive systems and new computing paradigms. Challenges and visions
• Refining Emergent Properties
• Editorial for the Special Issue on 'Emergent Properties of Complex Systems': Emergence and levels of abstraction
• The Algorithmics of Solitaire-Like Games
• Distributed cooperation with action systems
• Emergent Behavior in Flocks

This page was built for publication: Emergence and refinement