Coinductive Proof Principles for Stochastic Processes

DOI10.2168/LMCS-3(4:8)2007MaRDI QIDQ5453501zbMATH OpenFDO

Authors Dexter Kozen

Publication date 1 April 2008

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

Full work available at URL https://doi.org/10.2168/LMCS-3(4:8)2007

Mathematics Subject Classification ID

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

Recommendations

• Practical coinduction
• A co-induction principle for recursively defined domains
• Coinduction All the Way Up
• Generalised coinduction

Cited in

(6)

• A structural induction theorem for processes
• Deductive proofs of almost sure persistence and recurrence properties
• Predicatively unprovable termination of the Ackermannian Goodstein process
• A Constructive Proof of the Existence of Viterbi Processes
• Optimal coin flipping
• Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\)

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

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