A Rewriting Semantics for a Software Architecture Description Language

Downloads:

BibTeX:

@inproceedings{publication-11,
  author = {Rademaker, Alexandre and de Oliveira Braga, Christiano and Sztajnberg, Alexandre},
  title = {A Rewriting Semantics for a Software Architecture Description Language},
  booktitle = {Anais do Simp\'{o}sio Brasileiro de M\'{e}todos Formais de 2004},
  year = {2005},
  address = {Recife},
  pdflink1 = {/files/sbmf-2004-article.pdf},
  slides = {/files/sbmf-2004-slides.pdf},
  doi = {10.1016/j.entcs.2005.03.018}
}