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 3607513 - MaRDI portal

scientific article; zbMATH DE number 3607513

From MaRDI portal

Publication:4172940

Jump to:navigation, search

zbMath0391.68046MaRDI QIDQ4172940

Carl E. Hewitt, Henry G. Jun. Baker

Publication date: 1978

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

zbMATH Keywords

Theorem Proving Parallel Processes Actors Processors Continuous Functionals

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

A theory for nondeterminism, parallelism, communication, and concurrency, An object-oriented semantic data model for CAD applications

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