On the origins of bisimulation and coinduction

@article{Sangiorgi2009OnTO,
  title={On the origins of bisimulation and coinduction},
  author={Davide Sangiorgi},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2009},
  volume={31},
  pages={15:1-15:41}
}
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 is discussed, though in this case only within Computer Science. The paper ends with some… CONTINUE READING
Highly Cited
This paper has 171 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

171 Citations

0102030'09'11'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 171 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Non-well-founded Sets

  • P. Aczel
  • CSLI lecture notes, no. 14.
  • 1988
Highly Influential
10 Excerpts

Concurrency on automata and infinite sequences

  • D. Park
  • Conf. on Theoretical Computer Science, P. Deussen…
  • 1981
Highly Influential
20 Excerpts

Introduction to Metamathematics

  • S. C. Kleene
  • Van Nostrand.
  • 1952
Highly Influential
3 Excerpts

Un théorèm sur les fonctions d’ensembles

  • B. Knaster
  • Annals Soc. Pol. Math 6, 133–134.
  • 1928
Highly Influential
4 Excerpts

Über die Grundlagen der Mengenlehre

  • P. Finsler
  • I. Math. Zeitschrift 25, 683–713.
  • 1926
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…