Table of contents for An introduction to bisimulation and coinduction / Davide Sangiorgi.
Bibliographic record and links to related information available from the Library of Congress catalog
Information from electronic data provided by the publisher. May be incomplete or contain other coding.
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.
Library of Congress subject headings for this publication:
COMPUTERS / Networking / General. -- bisacsh