Estévez EC, Fillottrani PR. Bisimulation for component-based development. JCS&T [Internet]. 2002 May 1 [cited 2025 May 16];1(06):14 p. Available from: https://journal.info.unlp.edu.ar/JCST/article/view/971