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

Jump to:navigation, search

zbMath0565.68016MaRDI QIDQ3680251

Stephen Brookes

Publication date: 1985

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

zbMATH Keywords

operational semantics concurrency Generalized Hoare Logic Owicki's parallel rule programming constructs semantic properties of commands simple parallel programming language Transition Logic

Mathematics Subject Classification ID

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

Related Items (2)

A compositional proof system on a category of labelled transition systems ⋮ Mechanised wire-wise verification of Handel-C synthesis

This page was built for publication:

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