2018-07-18: Jurriaan Rot (Radboud University Nijmegen)

Sat, 21 Oct 2023 21:24:08 +0100

Jurriaan Rot (Radboud University Nijmegen)

Finite and Infinite Traces, Inductively and Coinductively

Abstract

It is a well-known fact (used e.g. in model checking) that, on finitely branching transition systems, finite trace equivalence coincides with infinite trace equivalence. I will show how to prove this coinductively, which is arguably nicer than the standard inductive proof.

2018-07-18 12:00:00 UTC
LT1310