Publications * F. Chalub and C. Braga. A Modular Rewriting Semantics for CML, 8o. Simpósio Brasileiro de Linguagens de Programação, Journal of Universal Computer Science, vol. 10, n. 7, pp. 789-807, Springer, July, 2004. (JUCS, bibentry) * F. Chalub. An Implementation of Modular Structural Operational Semantics in Maude. M.Sc. dissertation (2005). (pdf (en) | pdf (pt)). Advisor: Christiano Braga.