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
Proving liveness of fair transition systems - MaRDI portal

Proving liveness of fair transition systems

From MaRDI portal

Publication:6567705

Jump to:navigation, search

DOI10.1007/bfb0105398zbMath1540.68148MaRDI QIDQ6567705

Holger Busch

Publication date: 5 July 2024

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Proving liveness of fair transition systems

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