Enhanced coinduction

Leiden Repository

Enhanced coinduction

Type: Doctoral Thesis
Title: Enhanced coinduction
Author: Rot, Jurriaan Cornelis
Publisher: Faculty of Science, Leiden University
Issue Date: 2015-10-15
Keywords: Coalgebra
Bisimulation
Coinduction
Abstract: Coinduction, the dual of induction, is a fundamental principle for defining infinite objects and proving properties about them. The broad applicability and rapidly increasing interest in coinductive techniques is based on the theory of coalgebras, which allows one to understand and prove properties of state-based models of computation at a high level of abstraction. In this thesis we develop methods that simplify and enhance coinductive reasoning, with coalgebra as the framework of choice to obtain generally applicable techniques. In the first part, we introduce a coalgebraic framework of enhanced coinductive proof methods, which is applicable to a wide range of coinductive predicates and a wide range of state-based systems. In the second part, we propose enhancements to coinductive definition techniques based on the theory of mathematical operational semantics.
Description: Promotores: J.J.M.M. Rutten, F.S. de Boer, Co-promotor: M.M. Bonsangue
With summary in Dutch
Faculty: Faculteit der Wiskunde en Natuurwetenschappen
Citation: Rot, J.C., 2015, Doctoral Thesis, Leiden University
Series/Report no.: IPA Dissertation series;2015-18
ISBN: 9789462991743
Handle: http://hdl.handle.net/1887/35814
 

Files in this item

Description Size View
application/pdf Full Text 1.871Mb View/Open
application/pdf Cover 545.8Kb View/Open
application/pdf Title page_Contents 385.3Kb View/Open
application/pdf Chapter 1 Introduction 222.6Kb View/Open
application/pdf Chapter 2 317.9Kb View/Open
application/pdf Chapter 3 393.9Kb View/Open
application/pdf Chapter 4 408.8Kb View/Open
application/pdf Chapter 5 434.0Kb View/Open
application/pdf Chapter 6 419.3Kb View/Open
application/pdf Chapter 7 411.5Kb View/Open
application/pdf Bibliography_Index 284.9Kb View/Open
application/pdf Curriculum Vita ... n Dutch_Series information 121.6Kb View/Open
application/pdf Propositions 28.93Kb View/Open

This item appears in the following Collection(s)