Title | Citations | PageRank | Year |
---|---|---|---|
Coalgebraic Behavioral Metrics. | 1 | 0.36 | 2018 |
Towards Trace Metrics via Functor Lifting | 0 | 0.34 | 2015 |
Behavioral Metrics via Functor Lifting. | 7 | 0.65 | 2014 |
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems. | 8 | 0.50 | 2013 |
Coalgebraic trace semantics for probabilistic transition systems based on measure theory | 4 | 0.42 | 2012 |