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

Jump to:navigation, search

zbMath0592.68024MaRDI QIDQ3721800

Vijay Saraswat

Publication date: 1985

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

zbMATH Keywords

CP operational semantics CSP GHC Parlog Concurrent Prolog finite failure set concurrent logic programming languages success set Actors model bottom-up partial correctness semantics deadlock set

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (3)

A declarative semantics of flat guarded Horn clauses for programs with perpetual processes ⋮ Semantic models for concurrent logic languages ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs

Uses Software

PARLOG

This page was built for publication:

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