Publications by the researcher in collaboration with 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