Rob van Glabbeek

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.

Aprende métodos efectivos para monitorear el comportamiento del sistema usando observaciones limitadas.