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

scientific article; zbMATH DE number 7730636

From MaRDI portal

Publication:6176119

Jump to:navigation, search

DOI10.4230/lipics.concur.2021.34arXiv2104.07293MaRDI QIDQ6176119

Alexis Ghyselen, Naoki Kobayashi, Patrick Baillot

Publication date: 21 August 2023

Full work available at URL: https://arxiv.org/abs/2104.07293

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

zbMATH Keywords

complexity analysis type systems process calculi Pi-calculus sized types usages

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Analysing parallel complexity of term rewriting

This page was built for publication:

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