k-bisimulation: a bisimulation for measuring the dissimilarity between processes

Publication
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers
Date
Links