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

Jump to:navigation, search

zbMath1154.68448MaRDI QIDQ3601872

Robert Lorenz, Sebastian Mauser, Gabriel Juhás

Publication date: 12 February 2009

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Comparative trace semantics of time Petri nets ⋮ Classifying invariant structures of step traces ⋮ Modelling concurrency with comtraces and generalized comtraces ⋮ Step traces

This page was built for publication:

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