Highly Influenced

# 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} }

- Published 2009 in ACM Trans. Program. Lang. Syst.
DOI:10.1145/1516507.1516510

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

#### From This Paper

##### Figures, tables, and topics from this paper.

#### Citations

##### Publications citing this paper.

#### Citation Statistics

#### 171 Citations

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

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential