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}