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
Rate lifting for stochastic process algebra by transition context augmentation - MaRDI portal

Rate lifting for stochastic process algebra by transition context augmentation

From MaRDI portal

Publication:6639409

Jump to:navigation, search

DOI10.1145/3656582zbMath1548.62202MaRDI QIDQ6639409

Amin Soltanieh, Markus Siegle

Publication date: 15 November 2024

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

zbMATH Keywords

Markov chain stochastic process algebra model repair rate lifting structural and behavioural properties

Mathematics Subject Classification ID

Computational methods for problems pertaining to statistics (62-08) Sequential statistical analysis (62L10)

This page was built for publication: Rate lifting for stochastic process algebra by transition context augmentation

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