Información del autor
Documentos disponibles escritos por este autor (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in process algebras with silent steps when relating implementations to specifications. When an implementation fails to conform to its specification, i[...]
