Steps and traces

DOI10.1093/LOGCOM/EXAB050OpenAlexW4213312030MaRDI QIDQ5158368

Bart Jacobs, Paul Blain Levy, Jurriaan Rot

Publication date: 21 October 2021

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exab050

zbMATH Keywords

coalgebratrace semanticscorecursive algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (3)

Preservation and reflection of bisimilarity via invertible steps ⋮ A categorical approach to coalgebraic fixpoint logic ⋮ Graded semantics and graded logics for Eilenberg-Moore coalgebras

Recommendations

• Unnamed Item 👍 👎
• A metric for traces 👍 👎
• Steps and traces 👍 👎
• Tracking paths 👍 👎
• A Precise Characterisation of Step Traces and Their Concurrent Histories 👍 👎
• Tracking Paths 👍 👎
• Step traces 👍 👎

This page was built for publication: Steps and traces