Gaspard Reghem

Este documento habla sobre la bisimilitud por ramificación y el impacto de los tiempos de espera en sistemas reactivos.

Explora cómo los tiempos muertos afectan las interacciones del sistema en la bisimilitud ramificada.