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
Algebra of algorithms and dynamic parallel execution of sequential programs - MaRDI portal

Algebra of algorithms and dynamic parallel execution of sequential programs

From MaRDI portal

Publication:3327711

Jump to:navigation, search

DOI10.1007/BF01068734zbMath0541.68014MaRDI QIDQ3327711

No author found.

Publication date: 1983

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

parallel computation program model algebra of algorithms over a memory dynamic semantic system of sequential programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25) Algorithms in computer science (68W99)

Cites Work

Macroconveyor computations of functions on data structures

This page was built for publication: Algebra of algorithms and dynamic parallel execution of sequential programs

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