MILICIA, G.; SASSONE, V. Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. BRICS Report Series, [S. l.], v. 10, n. 6, 2003. DOI: 10.7146/brics.v10i6.21777. Disponível em: https://tidsskrift.dk/brics/article/view/21777. Acesso em: 21 nov. 2024.