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
Linear-Time Model Checking Branching Processes - MaRDI portal

Linear-Time Model Checking Branching Processes

From MaRDI portal

Publication:6176098

Jump to:navigation, search

DOI10.4230/lipics.concur.2021.6arXiv2107.01687OpenAlexW3193819978MaRDI QIDQ6176098

Cas Widdershoven, Pavel Semukhin, Stefan Kiefer

Publication date: 21 August 2023

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

zbMATH Keywords

computational complexity branching processes Markov chains automata model checking

Mathematics Subject Classification ID

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

This page was built for publication: Linear-Time Model Checking Branching Processes

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