Cargando…

Advanced Topics in Bisimulation and Coinduction.

Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Sangiorgi, Davide
Otros Autores: Rutten, Jan
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2011.
Colección:Cambridge tracts in theoretical computer science.
Temas:
Acceso en línea:Texto completo

Ejemplares similares