Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Braga, C.: Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Pontifícia Universidade Católica do Rio de Janeiro (September 2001), http://www.ic.uff.br/~cbraga
2. Lecture Notes in Computer Science;C. Braga,2009
3. Lecture Notes in Computer Science;C. Braga,2000
4. Lecture Notes in Computer Science;C. Braga,2003
5. Braga, C., Meseguer, J.: Modular rewriting semantics in practice. Electronic Notes in Theoretical Computer Science 117, 393–416 (2005), http://dx.doi.org/10.1016/j.entcs.2004.06.019