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
Exposing latent mutual exclusion by work automata - MaRDI portal

Exposing latent mutual exclusion by work automata

From MaRDI portal

Publication:1698757

Jump to:navigation, search

DOI10.1007/978-3-319-68953-1_6zbMath1485.68158OpenAlexW2763858141MaRDI QIDQ1698757

Farhad Arbab, Kasper Dokter

Publication date: 16 February 2018

Full work available at URL: https://ir.cwi.nl/pub/27035

Mathematics Subject Classification ID

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

Related Items (1)

Protocol scheduling

This page was built for publication: Exposing latent mutual exclusion by work automata

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