Maximal traces and path-based coalgebraic temporal logics

DOI10.1016/J.TCS.2011.04.025zbMATH Open1254.68147OpenAlexW2064284596MaRDI QIDQ639645FDOQ639645

Corina Cîrstea

Publication date: 22 September 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.04.025

Recommendations

• Generic infinite traces and path-based coalgebraic temporal logics
• Steps and traces
• Model checking linear coalgebraic temporal logics: an automata-theoretic approach
• A coalgebraic approach to linear-time logics
• Trace semantics for coalgebras

zbMATH Keywords

pathscoalgebratemporal logicdistributive lawstraces

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Universal coalgebra: A theory of systems
• Trace semantics for coalgebras
• Modular games for coalgebraic fixed point logics
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generic Trace Semantics via Coinduction
• CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
• A logic for reasoning about time and reliability
• Modular construction of complete coalgebraic logics
• Expressive logics for coalgebras via terminal sequence induction
• Results on the propositional \(\mu\)-calculus
• “Sometimes” and “not never” revisited
• Terminal Coalgebras for Measure-Polynomial Functors
• Semantics of weakening and contraction
• Traces, Executions and Schedulers, Coalgebraically
• Generic infinite traces and path-based coalgebraic temporal logics
• Algebra and Coalgebra in Computer Science

Cited In (7)

• Coinductive predicates and final sequences in a fibration
• Linear-time logics -- a coalgebraic perspective
• Quantitative simulations by matrices
• Title not available (Why is that?)
• Coinductive predicates and final sequences in a fibration
• Coalgebraic CTL: fixpoint characterization and polynomial-time model checking
• The temporal logic of coalgebras via Galois algebras

This page was built for publication: Maximal traces and path-based coalgebraic temporal logics

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