Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten.
Series Cambridge tracts in theoretical computer science ; 52Detalles de publicación: Cambridge ; New York : Cambridge University, 2012.Descripción: xiii, 326 p. : il. ; 24 cmISBN:- 9781107004979
Contenidos:
Machine generated contents note: Preface; List of contributors; 1. Origins of bisimulation and coinduction Davide Sangiorgi; 2. An introduction to (co)algebra and (co)induction Bart Jacobs and Jan Rutten; 3. The algorithmics of bisimilarity Luca Aceto, Anna Ingolfsdottir and Jiři; Srba; 4. Bisimulation and logic Colin Stirling; 5. Howe's method for higher-order languages Andrew Pitts; 6. Enhancements of the bisimulation proof method Damien Pous and Davide Sangiorgi; 7. Probabilistic bisimulation Prakash Panangaden.
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F3 A244t | Disponible | 22414 |
Total de reservas: 0
Incluye referencias bibliográficas e índice.
Ciencia y Técnica de Edwin Ventura Oscanova ;