Paul Anderson, Herry Herry. A Formal Semantics for the SmartFrog Configuration Language. J. Network Syst. Manage., 24(2):309-345, 2016. [doi]
@article{AndersonH16,
title = {A Formal Semantics for the SmartFrog Configuration Language},
author = {Paul Anderson and Herry Herry},
year = {2016},
doi = {10.1007/s10922-015-9351-y},
url = {http://dx.doi.org/10.1007/s10922-015-9351-y},
researchr = {https://researchr.org/publication/AndersonH16},
cites = {0},
citedby = {0},
journal = {J. Network Syst. Manage.},
volume = {24},
number = {2},
pages = {309-345},
}