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
Coinductive Proof Principles for Stochastic Processes - MaRDI portal

Coinductive Proof Principles for Stochastic Processes

From MaRDI portal

Publication:5453501

Jump to:navigation, search

DOI10.2168/LMCS-3(4:8)2007zbMath1131.68063MaRDI QIDQ5453501

Dexter Kozen

Publication date: 1 April 2008

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

General theory of stochastic processes (60G07) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Optimal Coin Flipping

This page was built for publication: Coinductive Proof Principles for Stochastic Processes

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