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

Jump to:navigation, search

zbMath0587.68019MaRDI QIDQ3713578

Joost N. Kok

Publication date: 1986

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

zbMATH Keywords

nets denotational semantics nondeterminism feedback loops fixpoints of multivalued functions streams of traces

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (5)

Concurrent transition systems ⋮ Linear dynamic Kahn networks are deterministic ⋮ Towards a complete hierarchy of compositional dataflow models ⋮ Specification and verification of concurrent systems by causality and realizability ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

This page was built for publication:

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