Advanced topics in bisimulation and coinduction

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. Bisimulat...

Ausführliche Beschreibung

Bibliographische Detailangaben

Weitere Verfasser:	Sangiorgi, Davide (BerichterstatterIn), Rutten, Jan (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge u.a. Cambridge University Press 2012
Schriftenreihe:	Cambridge tracts in theoretical computer science 52
Schlagworte:	Bisimulation > Coinduction (Mathematics) > Modality (Logic) > Induction (Mathematics) > Computer science > Induktion
Online Zugang:	Cover Autorenbiografie Verlagsangaben Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!