José, D. A. M. e Martins, B. H. C. (2026) “Lamport Logical Clock Teaching Tool (LLCTT): A New Tool for Teaching Clock Synchronization in Distributed Systems”, Revista Brasileira de Informática na Educação, 34, p. 739–769. doi: 10.5753/rbie.2026.6060.