Loading...
Please wait, while we are loading the content...
Similar Documents
On the origins of Bisimulation, Coinduction, and Fixed Points
| Content Provider | Semantic Scholar |
|---|---|
| Author | Sangiorgi, Davide |
| Copyright Year | 2007 |
| Abstract | The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: Computer Science, Philosophical Logic (precisely, Modal Logic), Set Theory. Bisimulation and bisimilarity are coinductive notions, and as such are intimately related to fixed points, in particular greatest fixed points. Therefore also the appearance of coinduction and fixed points are discussed, though in this case only within Computer Science. The paper ends with some historical remarks on the main fixed-point theorems (such as Knaster-Tarski) that underpin the fixed-point theory presented. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.unibo.it/~sangio/DOC_public/history_bis_coind.pdf |
| Alternate Webpage(s) | http://www.informatica.unibo.it/it/ricerca/technical-report/2007/pdfs/2007-24.pdf |
| Alternate Webpage(s) | http://www.cs.unibo.it/pub/TR/UBLCS/2007/2007-24.pdf |
| Alternate Webpage(s) | http://www.cs.unibo.it/pub/techreports/2007/2007-24.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |