Silvia Pelozo y Carlos Budde presentan sus trabajos en YR-CONCUR

Los resúmenes de Silvia y Carlos fueron aceptados para su presentación en el Young Researchers Workshop on Concurrency Theory, un workshop asociado a la conferencia CONCUR 2013 y en el marco de la BCDW.

Los artículos se titulan

  • Silvia Pelozo. Quantitative verification framework for distributed random protocols
  • Carlos E. Budde. A theory for the semantics of continuous systems with stochastic and structural non-determinism

El programa puede verse aquí.

Powered by Drupal