|
Search the dblp DataBase
Christiano de O. Braga:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. [Citation Graph (0, 0)][DBLP] AMAST, 2000, pp:407-421 [Conf]
- Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
Mapping Modular SOS to Rewriting Logic. [Citation Graph (0, 0)][DBLP] LOPSTR, 2002, pp:262-277 [Conf]
- Alexandre Rademaker, Christiano de O. Braga, Alexandre Sztajnberg
A Rewriting Semantics for a Software Architecture Description Language. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:345-377 [Journal]
Search in 0.001secs, Finished in 0.001secs
|