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

Jump to:navigation, search

zbMath0485.68020MaRDI QIDQ3945564

Gérard Boudol

Publication date: 1981

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

zbMATH Keywords

tree algebraic semantics nondeterminism symbolic interpretation two- way branching

Mathematics Subject Classification ID

Trees (05C05) Complete lattices, completions (06B23) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations ⋮ Algebraic solutions to recursion schemes ⋮ Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes ⋮ A Fully Abstract Semantics for Constructor Systems ⋮ A fully abstract semantics for concurrent constraint programming

This page was built for publication:

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