Título: Bisimulación de Data-aware Communicating Finite State Machines con propiedades en las acciones Directores: Carlos Gustavo Lopez Pombo, Hernán Melgratti Jurados: Sergio Abriola, Emilio Tuosto Resumen: Los nuevos paradigmas de computación, como service-oriented computing (SOC) o Cloud/Fog, como así también el Internet de las cosas (IoT por su sigla [...]