morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Examine this paper: On the Origins of Bisimulation and Coinduction

Open prathyvsh opened this issue 4 years ago • 2 comments

http://www.cs.unibo.it/~sangio/DOC_public/history_bis_coind.pdf

Discussion here: http://lambda-the-ultimate.org/node/2522

prathyvsh avatar Dec 26 '20 20:12 prathyvsh

Related work: https://dspace.mit.edu/handle/1721.1/64850 as it touches upon observational equivalence

prathyvsh avatar Jun 02 '21 11:06 prathyvsh

Idea of improvement: http://www.cse.chalmers.se/~dave/papers/cbneed-theory.pdf This can be thought of as bisimulation but with less resource usage.

prathyvsh avatar Jun 02 '21 11:06 prathyvsh