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

scientific article; zbMATH DE number 910717

From MaRDI portal

Publication:4885875

Jump to:navigation, search

zbMath0855.03019MaRDI QIDQ4885875

Martín Abadi, Stephan Merz

Publication date: 28 July 1996

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

zbMATH Keywords

semantics reactive systems syntax verification rules temporal logic of action

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items

Specification and refinement of mobile systems in MTLA and mobile UML ⋮ A Branching Time Logical System for Open Distributed Systems Development

This page was built for publication:

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