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
Correctness of graph schemes of parallel algorithms - MaRDI portal

Correctness of graph schemes of parallel algorithms

From MaRDI portal

Publication:1132578

Jump to:navigation, search

zbMath0419.68040MaRDI QIDQ1132578

Yu. P. Korablin

Publication date: 1978

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

zbMATH Keywords

parallel computation correctness of graph schemes of parallel algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

This page was built for publication: Correctness of graph schemes of parallel algorithms

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