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

scientific article; zbMATH DE number 4119654

From MaRDI portal

Publication:4733429

Jump to:navigation, search

zbMath0683.68068MaRDI QIDQ4733429

Rob van Glabbeck, Goltz, Ursula

Publication date: 1989

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

zbMATH Keywords

interleaving semantics partial order semantics bisimulation Petri net pomset preservation under refinement of actions

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Synchronous and asynchronous communication(s) between three parties

This page was built for publication:

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