Bisimulation is an instance of coinduction. Both bisimulation and coinduction are today widely used, in many areas of Computer Science, as well as outside Computer Science. Over, roughly, the last 25 years, enhancements of the principles and methods related to bisimulation and coinduction (i.e., techniques to make proofs shorter and simpler) have become a research topic on its own. In the paper the origins and the developments of the topic are reviewed.
Pous, D., Sangiorgi, D. (2019). Bisimulation and Coinduction Enhancements: A Historical Perspective. FORMAL ASPECTS OF COMPUTING, 31(6), 733-749 [10.1007/s00165-019-00497-w].
Bisimulation and Coinduction Enhancements: A Historical Perspective
Sangiorgi D.
2019
Abstract
Bisimulation is an instance of coinduction. Both bisimulation and coinduction are today widely used, in many areas of Computer Science, as well as outside Computer Science. Over, roughly, the last 25 years, enhancements of the principles and methods related to bisimulation and coinduction (i.e., techniques to make proofs shorter and simpler) have become a research topic on its own. In the paper the origins and the developments of the topic are reviewed.| File | Dimensione | Formato | |
|---|---|---|---|
|
finalDS.pdf
Open Access dal 09/11/2020
Tipo:
Postprint
Licenza:
Licenza per accesso libero gratuito
Dimensione
563.15 kB
Formato
Adobe PDF
|
563.15 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
