Musab AlTurki, José Meseguer. Reduction Semantics and Formal Analysis of Orc Programs. Electronic Notes in Theoretical Computer Science, 200(3):25-41, 2008. [doi]
@article{AlTurkiM08,
title = {Reduction Semantics and Formal Analysis of Orc Programs},
author = {Musab AlTurki and José Meseguer},
year = {2008},
doi = {10.1016/j.entcs.2008.04.091},
url = {http://dx.doi.org/10.1016/j.entcs.2008.04.091},
tags = {semantics, program analysis, formal semantics, analysis},
researchr = {https://researchr.org/publication/AlTurkiM08},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {25-41},
}