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

Jump to:navigation, search

zbMath0566.68022MaRDI QIDQ3681913

Matthew C. B. Hennessy

Publication date: 1985

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

zbMATH Keywords

denotational semantics fair asynchronous communicating processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (3)

On the consistency of Koomen's fair abstraction rule ⋮ Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages ⋮ On the complexity of verifying concurrent transition systems

This page was built for publication:

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