A LOGICAL CHARACTERIZATION OF ROBUSTNESS, MUTANTS AND SPECIES IN COLONIES OF AGENTS
From MaRDI portal
Publication:3542879
DOI10.1142/S0129054108006236zbMath1175.68165MaRDI QIDQ3542879
Sean Sedwards, Radu Mardare, Matteo Cavaliere
Publication date: 1 December 2008
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Temporal logic (03B44) Computational methods for problems pertaining to biology (92-08)
Cites Work
This page was built for publication: A LOGICAL CHARACTERIZATION OF ROBUSTNESS, MUTANTS AND SPECIES IN COLONIES OF AGENTS