@article{Peratto09,
  title = {Structural Operational Semantics with transitivity rules and execution time},
  author = {Patricia Peratto},
  year = {2009},
  url = {http://www.clei.cl/cleiej/paper.php?id=165},
  tags = {semantics, rule-based,  structural operational semantics, rules, operational semantics},
  researchr = {https://researchr.org/publication/Peratto09},
  cites = {0},
  citedby = {0},
  journal = {CLEI Electron. J.},
  volume = {12},
  number = {2},
}