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
Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity - MaRDI portal

Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity

From MaRDI portal

Publication:6638146

Jump to:navigation, search

DOI10.4230/LIPICS.ICALP.2023.136MaRDI QIDQ6638146

Dexter Kozen, Wojciech Różowski, Tobias Kappé, Author name not available (Why is that?), Alexandra Silva

Publication date: 14 November 2024

zbMATH Keywords

coalgebra completeness Kleene algebra with tests program equivalence

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (1)

Kleene algebra of weighted programs with domain

This page was built for publication: Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6638146)

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