Advanced Topics in Bisimulation and Coinduction

Klappentext Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory. Zusammenfassung This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics. Seven chapters deal with various aspects of bisimulation and coinduction: history! algebra and coalgebra! algorithmics! logic! higher-order languages! enhancements of the bisimulation proof method! and probabilities. Inhaltsverzeichnis 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¿í 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.

Dettagli sul prodotto

• Autori: Davide Sangiorgi, Davide Rutten Sangiorgi, SANGIORGI DAVIDE RUTTEN JAN
• Con la collaborazione di: Jan Rutten (Editore), Jan (Stichting Centrum voor Wiskunde en Informatica (CWI) Rutten (Editore), Davide Sangiorgi (Editore)
• Editore: Cambridge University Press ELT
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 13.10.2011
• EAN: 9781107004979
• ISBN: 978-1-107-00497-9
• Pagine: 340
• Serie: Cambridge Tracts in Theoretica; Cambridge Tracts in Theoretical Computer Science; Cambridge Tracts in Theoretica
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Comunicazione dati, reti