Coalgebraic Behavioral Metrics
Reference
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Coalgebraic behavioral metrics. Logical Methods in Computer Science, 14(3), 2018. Selected Papers of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015).
Suggested BibTeX entry:
@article{BBKK,
author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"o}nig},
journal = {Logical Methods in Computer Science},
note = {Selected Papers of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
number = {3},
title = {Coalgebraic Behavioral Metrics},
volume = {14},
year = {2018}
}
