Partition refinement for bisimilarity in CCP

Andrés Felipe Aristizábal-Pachón(University of Cauca), Luís Pino(Exponent (United States)), Filippo Bonchi(École Normale Supérieure de Lyon), Frank Valencia(Institut national de recherche en sciences et technologies du numérique)
Unknown
March 26, 2012
Cited by 9


Related Papers