Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Formal methods, language, and tools for the synthesis of celluar automata and architectures - MaRDI portal

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

From MaRDI portal

Publication:1276527

Jump to:navigation, search

zbMath0909.68123MaRDI QIDQ1276527

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

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

Cellular automata (computational aspects) (68Q80) Distributed algorithms (68W15)

This page was built for publication: Formal methods, language, and tools for the synthesis of celluar automata and architectures

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1276527&oldid=30837733"