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
Temporal team semantics revisited - MaRDI portal

Temporal team semantics revisited

From MaRDI portal

Publication:6649479

Jump to:navigation, search

DOI10.1145/3531130.3533360MaRDI QIDQ6649479

Christoph Ohrem, Jens Oliver Gutsfeld, Arne Meier, Jonni Virtema

Publication date: 6 December 2024

zbMATH Keywords

automata theory model checking temporal logic team semantics asynchronicity hyperproperties

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Temporal team semantics revisited

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