Partition refinement for bisimilarity in CCP

Andres Aristizabal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino

Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

6 Citas (Scopus)

Huella

Profundice en los temas de investigación de 'Partition refinement for bisimilarity in CCP'. En conjunto forman una huella única.

INIS

Computer Science

Keyphrases