Coalgebraic Infinite Traces and Kleisli Simulations

@article{Urabe2018CoalgebraicIT,
  title={Coalgebraic Infinite Traces and Kleisli Simulations},
  author={N. Urabe and I. Hasuo},
  journal={ArXiv},
  year={2018},
  volume={abs/1505.06819}
}
  • N. Urabe, I. Hasuo
  • Published 2018
  • Computer Science
  • ArXiv
  • Kleisli simulation is a categorical notion introduced by Hasuo to verify finite trace inclusion. They allow us to give definitions of forward and backward simulation for various types of systems. A generic categorical theory behind Kleisli simulation has been developed and it guarantees the soundness of those simulations with respect to finite trace semantics. Moreover, those simulations can be aided by forward partial execution (FPE)---a categorical transformation of systems previously… CONTINUE READING
    12 Citations
    Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
    • 2
    • PDF
    Lattice-theoretic progress measures and coalgebraic model checking
    • 16
    • PDF
    Graded Monads for the Linear Time - Branching Time Spectrum
    Coalgebraic Trace Semantics for Buechi and Parity Automata
    • 9
    • PDF
    Categorical liveness checking by corecursive algebras
    • N. Urabe, M. Hara, I. Hasuo
    • Computer Science, Mathematics
    • 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    • 2017
    • 4
    • PDF
    A coalgebraic take on regular and $\omega$-regular behaviours
    • PDF
    Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors
    • 3
    • PDF
    Guarded and Unguarded Iteration for Generalized Processes
    • PDF

    References

    SHOWING 1-10 OF 42 REFERENCES
    Coalgebraic Infinite Traces and Kleisli Simulations
    • 2
    Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
    • 13
    • PDF
    Trace Semantics via Determinization
    • 41
    • PDF
    Generic Forward and Backward Simulations
    • 52
    • PDF
    Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
    • 21
    • PDF
    Generic Trace Semantics via Coinduction
    • 198
    • PDF
    Forward and Backward Simulations: I. Untimed Systems
    • 349
    • PDF
    A Coalgebraic Foundation for Linear Time Semantics
    • 50
    • PDF
    Quantitative simulations by matrices
    • 4
    • PDF