Core Operational Semantics of Proto

@inproceedings{spatialcomputing-sac11,
   address = {Tunghai University, TaiChung, Taiwan},
   apice = {SpatialcomputingSac2011},
   author = {Viroli, Mirko and Beal, Jacob and Casadei, Matteo},
   booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
   editor = {Palakal, Mathew J. and Hung, Chih-Cheng and Chu, William and Wong, W. Eric},
   isbn = {978-1-4503-0113-8},
   month = {21--25~} # mar,
   pages = {1325--1332},
   publisher = {ACM},
   title = {Core Operational Semantics of {P}roto},
   volume = {II: Artificial Intelligence & Agents, Information Systems, and Software Development},
   year = 2011
}