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

scientific article

From MaRDI portal

Publication:3785913

Jump to:navigation, search

zbMath0643.68026MaRDI QIDQ3785913

Kamal Lodaya, P. S. Thiagarajan

Publication date: 1987

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

zbMATH Keywords

temporal logic concurrency distributed programs event structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Theory of operating systems (68N25)

Related Items (5)

TTL : a formalism to describe local and global properties of distributed systems ⋮ A logical characterization of well branching event structures ⋮ Bridging the gap between fair simulation and trace inclusion ⋮ Distributed temporal logic for the analysis of security protocol models ⋮ Models and logics for true concurrency.

This page was built for publication:

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