Formal methods, language, and tools for the synthesis of celluar automata and architectures

zbMath0909.68123MaRDI QIDQ1276527

V. P. Markova, S. V. Piskunov, Yu. M. Pogudin

Publication date: 31 January 1999

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

algorithm of parallel substitutions; deeply parallel algorithms

Mathematics Subject Classification ID

68Q80: Cellular automata (computational aspects)

68W15: Distributed algorithms