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

Jump to:navigation, search

zbMath0563.68025MaRDI QIDQ3677160

Colin Stirling

Publication date: 1985

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

zbMATH Keywords

SCCS concurrent programs Logical proof systems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (7)

Compositionality of Hennessy-Milner logic by structural operational semantics ⋮ A context dependent equivalence between processes ⋮ A compositional proof system on a category of labelled transition systems ⋮ Type theory and concurrency ⋮ Proof systems for satisfiability in Hennessy-Milner logic with recursion ⋮ Modal logics for communicating systems ⋮ A complete modal proof system for HAL: the Herbrand agent language

This page was built for publication:

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