Introduction to Bisimulation and Coinduction

ISBN-13: 9781107003637 / Angielski / Twarda / 2011 / 247 str.

Davide Sangiorgi

Opis

A comprehensive treatment of two fundamental concepts in computer science, mathematics and other fields.

Recenzje

'Bisimulation and related coinductive techniques are now standard tools in many areas of computer science, but the lack of an accessible, comprehensive introduction has made it difficult for newcomers to appreciate their elegance and power. Here, at last, is that introduction - written by a world authority, weaving a multitude of previously disparate topics into a coherent narrative, and generously leavened with insightful exercises.' Benjamin C. Pierce, University of Pennsylvania

Spis treści

Preface; 1. General introduction; 2. Towards bisimulation; 3. Coinduction and the duality with induction; 4. Algebraic properties of bisimilarity; 5. Processes with internal activities; 6. Other approaches to behavioural equivalences; 7. Refinements of simulation; 8. Basic observables; Appendix A. Solutions to selected exercises; List of notations; Bibliography; Index.