JOSÉ ALBERTO
VERDEJO LÓPEZ
Profesor titular de universidad
Christiano
de Oliveira Braga
Publications by the researcher in collaboration with Christiano de Oliveira Braga (1)
2007
-
Modular Structural Operational Semantics with Strategies
Electronic Notes in Theoretical Computer Science, Vol. 175, Núm. 1, pp. 3-17