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

scientific article; zbMATH DE number 6109828

From MaRDI portal

Publication:4649541

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2012.107zbMath1252.68074MaRDI QIDQ4649541

Filip Sieczkowski, Jacob Thamsborg, Lars Birkedal

Publication date: 22 November 2012

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

zbMATH Keywords

verification concurrency logical relation type and effect system

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

On the Versatility of Open Logical Relations ⋮ A Kripke logical relation for effect-based program transformations ⋮ An algebraic theory for shared-state concurrency ⋮ Transfinite Step-Indexing: Decoupling Concrete and Logical Steps ⋮ Unnamed Item ⋮ Logical Relations and Nondeterminism

Uses Software

ML

This page was built for publication:

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