Operational Semantics of Proto

@article{spatialcomputing-scp78,
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}