Continuous Additive Algebras and Injective Simulations of Synchronization Trees