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
On starvation and some related issues - MaRDI portal

On starvation and some related issues

From MaRDI portal

Publication:751268

Jump to:navigation, search

DOI10.1016/0020-0190(91)90039-KzbMath0714.68029OpenAlexW2083177396WikidataQ126629739 ScholiaQ126629739MaRDI QIDQ751268

Wladyslaw M. Turski

Publication date: 1991

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(91)90039-k

zbMATH Keywords

program specification synchronization concurrency software reliability problem of dining philosophers

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Cites Work

On specification of multiprocessor computing

This page was built for publication: On starvation and some related issues

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