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

scientific article; zbMATH DE number 6452608

From MaRDI portal

Publication:5257122

Jump to:navigation, search

DOI10.13328/J.CNKI.JOS.004523zbMath1324.68068MaRDI QIDQ5257122

Publication date: 29 June 2015

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

zbMATH Keywords

bisimulation axiomatization process calculus higher-order \(\pi\)-calculus mismatch operator

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication:

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