Vicious circles: on the mathematics of non-wellfounded phenomena
Vicious circles: on the mathematics of non-wellfounded phenomena
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
On the bisimulation proof method
Mathematical Structures in Computer Science
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to Bisimulation and Coinduction
Introduction to Bisimulation and Coinduction
Hi-index | 0.00 |
Coinduction is the dual notion of induction in the sense that union is the dual notion of intersection in set theory. Unfortunately, while induction has long been established as one of the most fundamental techniques in Computer Science, coinduction is rarely known to most of the Computer Science practitioners. This paper presents a short introduction to the coinduction paradigm in terms of coinductive data, coinductive functions, and coinductive proofs. With the increasingly growing interests in coinduction and its applications, it can be expected that coinduction will soon become one of the standard subjects, just as induction, in discrete mathematics.