Khalid Hamada, Rabah Ammour, Isabel Demongodin: Synchronizing Sequence Computation Under Forbidden Event Constraints. CoDIT 2025: 1-6