LoSD
Desenvolvimento de Sistemas Orientado por Linguagens Formais
Language-oriented Software Development
Project
Team
Activities
Publications

Publications

Tools

  1. Maude MSOS Tool

Publications

  1. Fabricio Chalub and Christiano Braga, Modular Specification and Analysis of Distributed Algorithms, Manuscript, September, 2005. (pdf)
  2. Christiano Braga and José Meseguer, Modular Rewriting Semantics in Practice, pp. 393-416, in "5th International Workshop on Rewriting Logic and its Applications, WRLA 2004", editors: Narciso Martí-Oliet, Elsevier ENTCS 117, Barcelona, Spain, January 2005. (ENTCS, bibentry)
  3. Fabricio Chalub and Christiano Braga, Implementing Modular SOS in Maude, Manuscript, November, 2004. (pdf, bibentry)
  4. Fabricio Chalub and Christiano Braga, A Modular Rewriting Semantics for CML, Proceedings of 8o. Simpósio Brasileiro de Linguagens de Programação, SBLP 2004, vol. 10, no. 7, pp. 789-807, Journal of Universal Computer Science, Springer July, 2004. (JUCS, bibentry)
  5. José Meseguer and Christiano Braga, Modular Rewriting Semantics of Programming Languages, 10th International Conference on Algebraic Methodology And Software Technology AMAST'2004. (To appear.) (bibentry)
  6. Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer and Peter D. Mosses, Mapping Modular SOS to Rewriting Logic, 12th International Workshop, LOPSTR 2002, Madrid, Spain, Lecture Notes in Computer Science 2664, pages 262-277, Springer, 2002. (Springer Link, bibentry)

Talks & Seminars

  1. BRICS, DK, November 2004: Maude MSOS Tool, by Fabricio Chalub
  2. SBLP 2004: A Modular Rewriting Semantics for CML (slides), by Fabricio Chalub
  3. WRLA2004: Modular Rewriting Semantics in Practice (slides), by Christiano Braga
  4. SBLP2003: Lógica de reescrita e Maude: Especificações em semântica operacional executáveis (slides, bc.maude), by Christiano Braga

Specs