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 3995056 - MaRDI portal

scientific article; zbMATH DE number 3995056

From MaRDI portal

Publication:4721652

Jump to:navigation, search

zbMath0614.68038MaRDI QIDQ4721652

Michael Shields

Publication date: 1986

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

zbMATH Keywords

parallelism partially ordered set concurrency vector languages event structure models of concurrent systems Mazurkiewicz trace languages behaviour systems deterministic asynchronous automata generalized Mealy automata languages over semi-commutative monoids non- sequential input/output behaviour

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of operating systems (68N25)

Related Items (1)

Connections between a concrete and an abstract model of concurrent systems

This page was built for publication:

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