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
}