Core Operational Semantics of Proto
 |
 |
@inproceedings{spatialcomputing-sac11,
Address = {Tunghai University, TaiChung, Taiwan},
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}
Address = {Tunghai University, TaiChung, Taiwan},
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}