Maximal traces and path-based coalgebraic temporal logics
From MaRDI portal
Publication:639645
DOI10.1016/J.TCS.2011.04.025zbMATH Open1254.68147OpenAlexW2064284596MaRDI QIDQ639645FDOQ639645
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
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?)
- Title not available (Why is that?)
- 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
- 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)
