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

Jump to:navigation, search

zbMath1157.68047MaRDI QIDQ3599301

Fairouz Tchier

Publication date: 3 February 2009

Full work available at URL: http://www.m-hikari.com/ams/ams-password-2008/ams-password17-20-2008/tchierAMS17-20-2008.pdf

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

zbMATH Keywords

operational semantics relational semantics denotational semantics nondeterminism nontermination demonic semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Nondeterministic semantics of compound diagrams

This page was built for publication:

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