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

Jump to:navigation, search

zbMath0652.68018MaRDI QIDQ3798213

Volker Diekert, Walter Vogler

Publication date: 1988

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

zbMATH Keywords

Trace theory behaviour of concurrent systems synchronization of traces

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Semigroups in automata theory, linguistics, etc. (20M35) Connections of semigroups with homological algebra and category theory (20M50) Embedding theorems, universal categories (18B15)

Related Items (1)

On the synchronization of traces

This page was built for publication:

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