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
A formal model of data structures and abstract algorithms for multiprocessor computer systems - MaRDI portal

A formal model of data structures and abstract algorithms for multiprocessor computer systems

From MaRDI portal

Publication:799365

Jump to:navigation, search

zbMath0548.68014MaRDI QIDQ799365

S. Ya. Vilenkin, V. N. Lifshits

Publication date: 1984

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

abstract algorithms abstract data structures data representation in multiprocessor computer systems

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25) Algorithms in computer science (68W99)

This page was built for publication: A formal model of data structures and abstract algorithms for multiprocessor computer systems

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