Operational Semantics of Proto

@article{spatialcomputing-scp78,
apice = {SpatialComputingScp78},
author = {Viroli, Mirko and Beal, Jacob and Usbeck, Kyle},
doi = {10.1016/j.scico.2012.12.003},
editor = {Mernik, Marjan},
journal = {Science of Computer Programming},
month = jun,
number = 6,
pages = {633--656},
pdf-local = {1-s2.0-S0167642312002146-main.pdf},
publisher = {Elsevier Science B.V.},
title = {Operational Semantics of {P}roto},
url = {http://www.sciencedirect.com/science/article/pii/S0167642312002146},
volume = 78,
year = 2013}