skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes

De Ruvo, G., G. Lettieri, D. Martino, A. Santone, and G. Vaglini, "k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes", Formal Aspects of Component Software - 12th International Conference, {FACS} 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, vol. 9539: Springer, pp. 181–198, 2015.