8 citations · 14 across the 5 of their papers we have counts for
1 paper · 1 filter
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini +2
Testing equivalence was originally defined by De Nicola and Hennessy in a process algebraic setting (CCS) with the aim of defining an equivalence relation between processes being l…