Estévez, E. C. and Fillottrani, P. R. (2002) “Bisimulation for component-based development”, Journal of Computer Science and Technology, 1(06), p. 14 p. Available at: https://journal.info.unlp.edu.ar/JCST/article/view/971 (Accessed: 16 May 2025).