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

scientific article

From MaRDI portal

Publication:4038691

Jump to:navigation, search

zbMath0766.68089MaRDI QIDQ4038691

Prakash Panangaden, Radha Jagadeesan

Publication date: 18 May 1993

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

zbMATH Keywords

powerdomain gamma calculus concurrency with abstraction semantics of parallel programming languages

Mathematics Subject Classification ID

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

Related Items (3)

Topological models for higher order control flow ⋮ Fully abstract semantics for higher order communicating systems ⋮ A fully abstract denotational semantics for the calculus of higher-order communicating systems

This page was built for publication:

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