Advanced Topics in Bisimulation and Coinduction

ISBN-13: 9781107004979 / Angielski / Twarda / 2011 / 326 str.

Davide Sangiorgi

Opis

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

Spis treści

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.