Publicaciones en las que colabora con Christiano de Oliveira Braga (1)

2007

  1. Modular Structural Operational Semantics with Strategies

    Electronic Notes in Theoretical Computer Science, Vol. 175, Núm. 1, pp. 3-17