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:3750109

Jump to:navigation, search

zbMath0609.68015MaRDI QIDQ3750109

Tsutomu Kamimura, Adrian Tang

Publication date: 1986

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

zbMATH Keywords

parallelism bounded nondeterminism powerdomain algebraic cpo's cartesian closed category of continuous posets category of retracts order theoretic semantics

Mathematics Subject Classification ID

Partial orders, general (06A06) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items

Down closed-quasi-injectivity of partially ordered acts, Some economic applications of Scott domains, The equivalence of QRB, QFS, and compactness for quasicontinuous domains., All Cartesian closed categories of quasicontinuous domains consist of domains

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