Meta SOS - A Maude Based SOS Meta-Theory Framework. Aceto, L., Goriac, E., & Ingólfsdóttir, A. In Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013., pages 93–107, 2013.
Meta SOS - A Maude Based SOS Meta-Theory Framework [link]Paper  doi  bibtex   
@inproceedings{DBLP:journals/corr/AcetoGI13,
  author    = {Luca Aceto and
               Eugen{-}Ioan Goriac and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {Meta {SOS} - {A} Maude Based {SOS} Meta-Theory Framework},
  booktitle = {Proceedings Combined 20th International Workshop on Expressiveness
               in Concurrency and 10th Workshop on Structural Operational Semantics,
               {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013.},
  pages     = {93--107},
  year      = {2013},
  crossref  = {DBLP:journals/corr/BorgstromL13},
  url       = {https://doi.org/10.4204/EPTCS.120.8},
  doi       = {10.4204/EPTCS.120.8},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AcetoGI13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0