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
Real-time semantics for shared-variable concurrency - MaRDI portal

Real-time semantics for shared-variable concurrency

From MaRDI portal

Publication:1207949

Jump to:navigation, search

DOI10.1006/INCO.1993.1002zbMath0769.68087OpenAlexW2006272596MaRDI QIDQ1207949

K. T. Narayana, Eric Shade

Publication date: 16 May 1993

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1993.1002

zbMATH Keywords

synchronization limited parallelism asynchronous processors denotational linear-history semantics real-time concurrency selective mutual exclusion

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

This page was built for publication: Real-time semantics for shared-variable concurrency

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