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:3957929

Jump to:navigation, search

zbMath0494.68033MaRDI QIDQ3957929

Enrico Dameri, Maurizio Martelli, Marco Bellia, Pierpaolo Degano, Giorgio Levi

Publication date: 1982

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

zbMATH Keywords

semantics syntax process logic modification of PROLOG specification of deterministic systems of communicating processes

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Related Items (2)

Contributions to the semantics of logic perpetual processes ⋮ Pierpaolo Degano

This page was built for publication:

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