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.