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
Logic-based Verification of the Distributed Dining Philosophers Protocol - MaRDI portal

Logic-based Verification of the Distributed Dining Philosophers Protocol

From MaRDI portal

Publication:4686516

Jump to:navigation, search

DOI10.3233/FI-2018-1697zbMath1396.68071MaRDI QIDQ4686516

Giorgio Delzanno

Publication date: 2 October 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker

This page was built for publication: Logic-based Verification of the Distributed Dining Philosophers Protocol

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