Modeling and Programming Asynchronous Automata Networks: The MOCA Approach

DOI10.1007/978-3-642-15979-4_36zbMath1306.68102OpenAlexW1526261728MaRDI QIDQ4931229

Giuseppe Vizzari, Andrea Bonomi, Stefania Bandini

Publication date: 4 October 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15979-4_36

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Cellular automata (computational aspects) (68Q80)

Related Items (1)

Probing robustness of cellular automata through variations of asynchronous updating

Cites Work

• Multilayered cellular automata
• MULTISCALE AGENT-BASED SIMULATION FOR CHONDROGENIC PATTERN FORMATIONIN VITRO
• Simulation of pedestrian dynamics using a two-dimensional cellular automaton
• Unnamed Item
• Unnamed Item

This page was built for publication: Modeling and Programming Asynchronous Automata Networks: The MOCA Approach