@Unpublished{chalub-braga:manuscript,
author = {Fabricio Chalub and Christiano Braga},
title = {Implementing Modular SOS in Maude},
note = {\url{http://www.ic.uff.br/~cbraga/losd/publications}},
OPTkey = {},
OPTmonth = {},
OPTyear = {},
OPTannote = {}
}
@InProceedings{meseguerBraga:AMAST04,
author = {Jos\'e Meseguer and Christiano Braga},
title = {Modular Rewriting Semantics of Programming Languages},
booktitle = {In Algebraic Methodology and Software Technology: proceedings of
the 10th International Conference, AMAST 2004},
pages = {364-378},
year = {2004},
editor = {Charles Rattray and Savitri Maharaj and Carron Shankland},
volume = {3116},
series = {LNCS},
address = {Stirling, Scotland, UK},
month = {July},
publisher = {Springer},
note = {ISSN 0302-9743, ISBN 3-540-22381-9}
}
@Article{chalubBraga:mrs-cml04,
author = "Fabricio Chalub and Christiano Braga",
title = "{A Modular Rewriting Semantics for CML}",
journal = "Journal of Universal Computer Science",
year = "2004",
volume = "10",
number = "7",
pages = "789--807",
month = jul,
note = "\path|http://www.jucs.org/jucs_10_7/a_modular_rewriting_semantics|"}
@Article{bragaMeseguer:WRLA04,
author = {Christiano Braga and Jos\'e Meseguer},
title = {Modular Rewriting Semantics in Practice},
booktitle = {Proceedings of 5th International Workshop on Rewriting
Logic and its Applications, WRLA 2004},
pages = {393-416}
year = {2005},
editor = {Narciso Mart\'i-Oliet},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {117},
publisher = {Elsevier}
}
@InProceedings{bhmm:lopstr02,
author = {Christiano Braga and Edward Hermann Haeusler
and Jos\'e Meseguer and Peter D. Mosses},
title = {Mapping Modular SOS to Rewriting Logic},
booktitle = {Proceedings of 12th International Workshop, LOPSTR 2002, Madrid, Spain},
pages = {262-277},
year = {2002},
editor = {Michael Leuschel},
volume = {2664},
series = {Lecture Notes in Computer Science},
month = {September},
publisher = {Springer},
note = {http://link.springer-ny.com/link/service/series/0558/bibs/2664/26640262.htm}
}