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; zbMATH DE number 1107491 - MaRDI portal

scientific article; zbMATH DE number 1107491

From MaRDI portal

Publication:4373413

Jump to:navigation, search

zbMath0890.68083MaRDI QIDQ4373413

Franck Van Breugel

Publication date: 17 February 1998

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

zbMATH Keywords

labelled transition systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (5)

General quantitative specification theories with modal transition systems ⋮ The quantitative linear-time-branching-time spectrum ⋮ Weighted modal transition systems ⋮ Metrics for weighted transition systems: axiomatization and complexity ⋮ Bisimulation indexes and their applications

This page was built for publication:

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