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
Deadlocks not detected by Holt's model - MaRDI portal

Deadlocks not detected by Holt's model

From MaRDI portal

Publication:1076510

Jump to:navigation, search

zbMath0593.68020MaRDI QIDQ1076510

V. N. Krinitskij

Publication date: 1985

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

zbMATH Keywords

analytical theory of algorithms cooperating process deadlock tests Holt's model

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: Deadlocks not detected by Holt's model

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