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}
}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
- Computer Science, Mathematics
- Log. Methods Comput. Sci.
- 2017
- 2
- PDF
Coalgebraic Trace Semantics for Buechi and Parity Automata
- Mathematics, Computer Science
- CONCUR
- 2016
- 9
- PDF
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum
- Mathematics, Computer Science
- CONCUR
- 2019
- 5
- PDF
Categorical liveness checking by corecursive algebras
- Computer Science, Mathematics
- 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- 2017
- 4
- PDF
Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors
- Mathematics, Computer Science
- CMCS
- 2018
- 3
- PDF
Guarded and Unguarded Iteration for Generalized Processes
- Computer Science, Mathematics
- Log. Methods Comput. Sci.
- 2019
- PDF
References
SHOWING 1-10 OF 42 REFERENCES
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
- Computer Science, Mathematics
- CMCS
- 2010
- 13
- PDF
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
- Mathematics, Computer Science
- Log. Methods Comput. Sci.
- 2013
- 21
- PDF
Generic Trace Semantics via Coinduction
- Mathematics, Computer Science
- Log. Methods Comput. Sci.
- 2007
- 198
- PDF
Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices
- Computer Science
- CONCUR
- 2014
- 14
- PDF