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

scientific article; zbMATH DE number 6851934

From MaRDI portal

Publication:4608664

Jump to:navigation, search

DOI10.4230/LIPICS.CONCUR.2016.12zbMath1392.68298MaRDI QIDQ4608664

Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz

Publication date: 21 March 2018

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

zbMATH Keywords

workflows verification concurrency soundness negotiations

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Unnamed Item ⋮ Automated Synthesis: a Distributed Viewpoint

This page was built for publication:

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