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
Scope-Bounded Reachability in Valence Systems - MaRDI portal

Scope-Bounded Reachability in Valence Systems

From MaRDI portal

Publication:6176111

Jump to:navigation, search

DOI10.4230/lipics.concur.2021.29zbMath1520.68037arXiv2108.00963OpenAlexW3195738979MaRDI QIDQ6176111

No author found.

Publication date: 21 August 2023

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

zbMATH Keywords

reachability valence systems multi-pushdown systems underapproximations

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other nonclassical models of computation (68Q09)

Related Items (1)

Recent advances on reachability problems for valence systems (invited talk)

This page was built for publication: Scope-Bounded Reachability in Valence Systems

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