Depuración y evolución de aplicaciones distribuidas y concurrentes usando un modelo de eventos basado en autómatas causales síncronos y asíncronos

Este documento presenta una propuesta de un lenguaje que será la base para un framework de eventos que soporta la detección de patrones complejos en sistemas distribuidos, utilizando autómatas para modelar los patrones complejos de interacción entre los nodos que participan en el sistema distribuido...