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

Jump to:navigation, search

zbMath0786.68033MaRDI QIDQ4037118

Rance Cleaveland

Publication date: 18 May 1993

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

zbMATH Keywords

modal logic Hennessy-Milner logic bisimulation equivalence partition-refinement algorithm bisimulation-inequivalent finite- state systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45)

Related Items (3)

Explainability of probabilistic bisimilarity distances for labelled Markov chains ⋮ Distinguishing between communicating transactions ⋮ Automatic verification of distributed systems: the process algebra approach.

This page was built for publication:

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