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
scientific article; zbMATH DE number 810814 - MaRDI portal

scientific article; zbMATH DE number 810814

From MaRDI portal

Publication:4852241

Jump to:navigation, search

zbMath0862.68051MaRDI QIDQ4852241

Arthur Bernstein, Philip Lewis

Publication date: 30 October 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrency Hoare logic operating systems

Mathematics Subject Classification ID

Database theory (68P15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (1)

A structured approach for developing concurrent programs in Java

This page was built for publication:

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