Coalgebraic Infinite Traces and Kleisli Simulations

DOI10.4230/LIPIcs.CALCO.2015.320zbMath1366.68159OpenAlexW2891325043MaRDI QIDQ5275359

Ichiro Hasuo, Natsuki Urabe

Publication date: 11 July 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.CALCO.2015.320

zbMATH Keywords

verificationsimulationcoalgebracategory theorytrace semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (7)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quantitative simulations by matrices ⋮ (in)finite trace equivalence of probabilistic transition systems ⋮ Categorical Büchi and parity conditions via alternating fixed points of functors ⋮ Unnamed Item

This page was built for publication: Coalgebraic Infinite Traces and Kleisli Simulations