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}
}



Extended versionThis work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group